Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-04 09:38:27 -0700 (Fri, 04 May 2001)
Revision: 3211
Log message:

      Eliminated more unnecessary usages of slot.
      

Changes	Path
+35 -35	metaprl/theories/ocaml/ocaml_expr_df.ml
+5 -5	metaprl/theories/ocaml/ocaml_me_df.ml
+5 -5	metaprl/theories/ocaml/ocaml_mt_df.ml
+15 -15	metaprl/theories/ocaml/ocaml_sig_df.ml
+28 -28	metaprl/theories/ocaml/ocaml_type_df.ml