Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-07-21 17:34:42 -0700 (Tue, 21 Jul 1998)
Revision: 2337
Log message:

      Removed dest_sequent, and changed Term_man_sig.esequent to use arrays.
      

Changes	Path
+5 -2	metaprl/filter/filter_prog.ml
+12 -12	metaprl/filter/term_grammar.ml
+5 -12	metaprl/refiner/refsig/term_man_sig.ml
+40 -13	metaprl/refiner/term_gen/term_man_gen.mlp
+13 -11	metaprl/theories/base/base_auto_tactic.ml
+75 -59	metaprl/theories/base/base_dform.ml
+9 -7	metaprl/theories/base/typeinf.ml
+22 -25	metaprl/theories/itt/itt_arith.ml
+19 -17	metaprl/theories/itt/itt_logic.ml
+2 -2	metaprl/theories/itt/itt_squash.ml
+9 -11	metaprl/theories/tactic/tactic_cache.ml