Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-12 15:34:53 -0800 (Thu, 12 Feb 1998)
Revision: 2081
Log message:

      Modifed term module.
      

Changes  Path
+12 -0 metaprl/refiner/term.ml
+4 -0 metaprl/refiner/term.mli