Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-08-07 12:08:20 -0700 (Thu, 07 Aug 1997)
Revision: 2054
Log message:

      added ObId and ParmList parameter types
      

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