Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-03 15:37:36 -0700 (Tue, 03 Jul 2001)
Revision: 3310
Log message:

      Better sequent matching code.
      

Changes  Path
+7 -4 metaprl/refiner/reflib/match_seq.ml