Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-12-28 13:07:52 -0800 (Mon, 28 Dec 1998)
Revision: 2525
Log message:
Numerous minor changes.
Added itt_fset: a theory of finite sets based on a list
implementation quotiented by equivalence under arbitrary
occurrences and ordering.
Added initial reflection theory. Terms are quotiented by
alpha-equality, so normal well-formedness proofs are difficult,
and more work needs to be done to define free variables and
substitution.