Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-18 22:36:02 -0800 (Tue, 18 Mar 2003)
Revision: 4185
Log message:
- I moved the sequent-related *_addr functions from TermMan to TermAddr
- I got rid of the TermSimleSig signature, use TermSig instead
- The Lib_term module now uses the Term_man_gen for converting
from/to term representation of sequents instead of reimplementing it.