Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-01-27 19:57:07 -0800 (Wed, 27 Jan 1999)
Revision: 2576
Log message:

      Added some simple code to match two hypothesis lists.
      It does not always do the right thing, but would probably
      succeed in many cases
      

Changes	Path
+2 -1	metaprl/refiner/reflib/Files
Added	metaprl/refiner/reflib/match_seq.ml
Properties	metaprl/refiner/reflib/match_seq.ml
Added	metaprl/refiner/reflib/match_seq.mli
Properties	metaprl/refiner/reflib/match_seq.mli