Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-06 16:13:48 -0800 (Fri, 06 Feb 2004)
Revision: 5344
Log message:

      Took the first step in implementing recursive sequents.
      
      My practice has been to change e.g. Hypothesis to Hypothesis' as I correct each
      function.  That way rebuilding metaprl will tell me where to look for the next
      error.  Once the implementation is finished we can strip out the primes with a
      sed script.
      

Changes	Path
+34 -11	metaprl-branches/recursive_sequents/refiner/term_ds/term_base_ds.ml