Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-23 22:30:03 -0800 (Mon, 23 Feb 2004)
Revision: 5401
Log message:

      Minor change: I believe that we need to keep the "local" contexts intact
      for the sequent stuff to work correctly. Not fully tested, but the rest
      of term_match_table will soon change a lot anyway...
      

Changes  Path
+7 -5 metaprl/refiner/reflib/term_match_table.ml