Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-18 14:04:59 -0700 (Fri, 18 Jul 2003)
Revision: 4759
Log message:
Added sequent support to pattern matching and explode_term.
explode_term has moved to TermMan, to add support for sequents.