Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-08-07 12:43:52 -0700 (Thu, 07 Aug 1997)
Revision: 2055
Log message:

      Updated and added Lori's term modifications.
      Need to update all pattern matchings.
      

Changes	Path
+7 -1	metaprl/filter/filter_parse.ml
+62 -15	metaprl/refiner/refine.ml
+11 -1	metaprl/refiner/refine_sig.ml
+85 -79	metaprl/refiner/rewrite.ml
+17 -11	metaprl/refiner/rewrite.mli
+7 -3	metaprl/refiner/term.ml
+5 -2	metaprl/refiner/term.mli
+7 -3	metaprl/theories/itt/itt_dfun.ml
+6 -2	metaprl/theories/itt/itt_dfun.mli
+5 -2	metaprl/theories/itt/itt_list.ml