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.