Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-06 16:41:01 -0700 (Sun, 06 Jul 2003)
Revision: 4704
Log message:

      I decided to finish the port to abstract vars anyway.
      
      This versdion compiles with omake.  Will fix make next.
      

Changes	Path
+27 -55	metaprl-branches/abstract_vars/editor/ml/nuprl_eval.ml
+5 -4	metaprl-branches/abstract_vars/filter/base/filter_summary.ml
+4 -3	metaprl-branches/abstract_vars/refiner/reflib/mp_resource.ml
+2 -1	metaprl-branches/abstract_vars/refiner/reflib/mp_resource.mli
+8 -6	metaprl-branches/abstract_vars/support/display/base_dform.ml
+6 -6	metaprl-branches/abstract_vars/support/shell/shell_package.ml
+1 -1	metaprl-branches/abstract_vars/support/shell/shell_rewrite.ml
+13 -68	metaprl-branches/abstract_vars/support/tactics/top_tacticals.ml
+2 -1	metaprl-branches/abstract_vars/theories/base/base_meta.ml
+5 -4	metaprl-branches/abstract_vars/theories/czf/czf_itt_eq.mli
+5 -4	metaprl-branches/abstract_vars/theories/czf/czf_itt_equiv.mli
+2 -1	metaprl-branches/abstract_vars/theories/czf/czf_itt_rel.mli
+3 -2	metaprl-branches/abstract_vars/theories/czf/czf_itt_set.mli
+1 -0	metaprl-branches/abstract_vars/theories/itt/itt_derive.ml
+3 -2	metaprl-branches/abstract_vars/theories/itt/itt_disect.mli
+16 -46	metaprl-branches/abstract_vars/theories/itt/itt_dprod.ml
+5 -4	metaprl-branches/abstract_vars/theories/itt/itt_dprod.mli
+4 -25	metaprl-branches/abstract_vars/theories/itt/itt_equal.ml
+2 -1	metaprl-branches/abstract_vars/theories/itt/itt_equal.mli
+3 -2	metaprl-branches/abstract_vars/theories/itt/itt_int_base.mli
+3 -2	metaprl-branches/abstract_vars/theories/itt/itt_isect.mli
+17 -35	metaprl-branches/abstract_vars/theories/itt/itt_list.ml
+3 -2	metaprl-branches/abstract_vars/theories/itt/itt_list.mli
+35 -69	metaprl-branches/abstract_vars/theories/itt/itt_logic.ml
+5 -4	metaprl-branches/abstract_vars/theories/itt/itt_logic.mli
+12 -30	metaprl-branches/abstract_vars/theories/itt/itt_prec.ml
+9 -8	metaprl-branches/abstract_vars/theories/itt/itt_prec.mli
+3 -2	metaprl-branches/abstract_vars/theories/itt/itt_quotient.mli
+18 -41	metaprl-branches/abstract_vars/theories/itt/itt_rfun.ml
+11 -10	metaprl-branches/abstract_vars/theories/itt/itt_rfun.mli
+3 -2	metaprl-branches/abstract_vars/theories/itt/itt_set.mli
+14 -30	metaprl-branches/abstract_vars/theories/itt/itt_srec.ml
+5 -4	metaprl-branches/abstract_vars/theories/itt/itt_srec.mli
+15 -40	metaprl-branches/abstract_vars/theories/itt/itt_struct2.ml
+3 -0	metaprl-branches/abstract_vars/theories/itt/itt_struct3.mli
+17 -37	metaprl-branches/abstract_vars/theories/itt/itt_union.ml
+3 -2	metaprl-branches/abstract_vars/theories/itt/itt_union.mli
+13 -31	metaprl-branches/abstract_vars/theories/itt/itt_w.ml
+5 -4	metaprl-branches/abstract_vars/theories/itt/itt_w.mli
+2 -2	mpcompiler-branches/abstract_vars/mmc/core/core_test.ml