Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-07 22:25:26 -0700 (Thu, 07 Oct 2004)
Revision: 6221
Log message:

      Fixed bug 327 - added sequents supprot to TermMan.free_meta_variables.
      (Note - this function is only ever used by JProver, it's an informal hack
      to work around JProver deficiencies).
      

Changes	Path
+25 -1	metaprl/refiner/term_ds/term_man_ds.ml
+3 -1	metaprl/refiner/term_gen/term_man_gen.ml