Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-01-27 15:04:32 -0800 (Tue, 27 Jan 1998)
Revision: 2077
Log message:

      Adding OCaml1.07 syntax.
      

Changes	Path
+39 -1	metaprl/filter/filter_hash.ml
+24 -0	metaprl/filter/filter_ocaml.mli
+34 -2	metaprl/filter/filter_parse.ml
+10 -0	metaprl/filter/filter_parse.mli
+5 -6	metaprl/filter/prlcomp.ml
+5 -1	metaprl/refiner/term.mli
+6 -81	metaprl/theories/caml/caml_expr.mli
Added	metaprl/theories/caml/caml_syntax.ml
Properties	metaprl/theories/caml/caml_syntax.ml
Added	metaprl/theories/caml/caml_syntax.mli
Properties	metaprl/theories/caml/caml_syntax.mli