Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-28 03:15:41 -0800 (Wed, 28 Jan 2004)
Revision: 5304
Log message:

      Recursive sequents - changing the definition of the "hypothesis" type.
      
      THis is a first (very small) step towards implementing recursive
      sequents. Tomorrow Nathan will post a description of what we are planning
      to implement.
      

Changes  Path
+9 -6 metaprl-branches/recursive_sequents/refiner/refsig/term_sig.ml