Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-02 08:35:09 -0700 (Wed, 02 May 2001)
Revision: 3205
Log message:

      Eliminated some non-standard and unnecessary usage of slot{}
      

Changes	Path
+5 -5	metaprl/theories/ocaml/ocaml_expr_df.ml
+181 -180	metaprl/theories/ocaml/ocaml_patt_df.ml
+1 -1	metaprl/theories/ocaml/ocaml_str_df.ml