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.
      

Changes by: ( at unknown.email)
Date: 2004-01-28 03:15:41 -0800 (Wed, 28 Jan 2004)
Revision: 5303
Log message:

      This commit was manufactured by cvs2svn to create branch
      'recursive_sequents'.

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-28 18:29:59 -0800 (Wed, 28 Jan 2004)
Revision: 5307
Log message:

      Removed all the unused "open" statements.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-01-30 17:11:03 -0800 (Fri, 30 Jan 2004)
Revision: 5323
Log message:

      Changed AtomTyApply to take 3 arguments and cleaned up the giant rewrite in CPS.