Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-30 07:20:34 -0700 (Thu, 30 Apr 1998)
Revision: 2161
Log message:

      Updating term_table.
      

Changes	Path
Added	metaprl/editor/ml/make1
Properties	metaprl/editor/ml/make1
+5 -0	metaprl/editor/ml/test.ml
+7 -4	metaprl/filter/filter_ocaml.ml
+5 -2	metaprl/filter/filter_summary.ml
+9 -2	metaprl/refiner/dform.ml
+4 -1	metaprl/refiner/term_table.ml
+4 -1	metaprl/theories/base/summary.ml
+4 -1	metaprl/theories/ocaml/ocaml_df.ml
+6 -1	metaprl/theories/ocaml/ocaml_str_df.ml