Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-05-01 11:43:42 -0700 (Fri, 01 May 1998)
Revision: 2164
Log message:

      Added raw display.
      

Changes	Path
+10 -0	metaprl/Makefile
+88 -74	metaprl/refiner/dform.ml
+9 -6	metaprl/refiner/term_template.ml
+4 -1	metaprl/theories/base/base_dform.ml
+8 -3	metaprl/theories/base/summary.ml
+4 -1	metaprl/theories/ocaml/ocaml_df.mli
+11 -8	metaprl/theories/ocaml/ocaml_expr_df.ml