Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-08-25 16:17:08 -0700 (Mon, 25 Aug 2003)
Revision: 4876
Log message:
Matching sequents is now a bit simpler. You don't need to use "with" clauses to
match on sequent arguments because now this works correctly:
match explode_term t with
<< sequent [Lambda] { <args> >- 'e } >>
Also includes some new test cases and random minor changes.