Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-12-30 17:56:48 -0800 (Wed, 30 Dec 1998)
Revision: 2534
Log message:

      Pushed Sequent.hyp_indices down into the Term_man
      This gives 2% speedup on Pigeon4-ProveT.
      

Changes	Path
+1 -0	metaprl/refiner/refsig/term_man_sig.ml
+17 -10	metaprl/refiner/term_ds/term_man_ds.mlp
+25 -19	metaprl/refiner/term_gen/term_man_gen.mlp
+1 -9	metaprl/theories/tactic/sequent.ml