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