Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-01-21 16:29:08 -0800 (Wed, 21 Jan 2004)
Revision: 5268
Log message:
Changed the meta_term and hypothesis type definitions in term_sig
to avoid type duplication.
The new type definitions are toplevel as polymorphic types. For example
| type 'term poly_hypothesis = Hypothesis of 'term | ...
Then, once the term type is defined, we can use the following
definition:
| type hypothesis = term poly_hypothesis
This is in preparation for extending the hypothesis type with
cases for recursive sequents.