Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-11 19:44:21 -0800 (Fri, 11 Feb 2005)
Revision: 6661
Log message:

      Actually, only two files needed fixing with the new Ocaml typeclass.
      I changed the name to OCaml...  It is just that OCaml is more like the
      real name, and is easier to type in.
      

Changes  Path
+2 -0 metaprl/filter/filter/term_grammar.ml
+273 -273 metaprl/support/display/ocaml.mlz
+67 -67 metaprl/support/display/ocaml_base_df.mli
+11 -11 metaprl/support/display/ocaml_expr_df.ml
+4 -4 metaprl/support/display/ocaml_expr_df.mli
+1 -1 metaprl/support/display/ocaml_mt_df.ml
+14 -14 metaprl/support/display/ocaml_patt_df.ml
+6 -6 metaprl/support/display/ocaml_sig_df.ml
+2 -2 metaprl/support/display/ocaml_str_df.ml
+7 -7 metaprl/support/display/ocaml_type_df.ml
+2 -2 metaprl/support/display/summary.ml
+5 -14 metaprl/theories/fir/mfir_tr_atom_base.ml
+13 -13 metaprl/theories/ocaml_sos/ocaml_base_sos.ml
+14 -14 metaprl/theories/ocaml_sos/ocaml_base_sos.mli