Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-17 16:39:09 -0700 (Fri, 17 May 2002)
Revision: 3661
Log message:

      Got rid of BackwardsCompatibleLevel params.
      

Changes  Path
+0 -4 metaprl/library/mbterm.ml
+0 -3 metaprl/refiner/reflib/ml_format.ml
+0 -4 metaprl/refiner/reflib/simple_print.ml
+0 -1 metaprl/refiner/refsig/term_simple_sig.mlz
+3 -5 metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+0 -1 metaprl/refiner/term_ds/term_ds.ml
+0 -1 metaprl/refiner/term_ds/term_ds_sig.ml
+0 -1 metaprl/refiner/term_gen/term_header_constr.ml
+0 -1 metaprl/refiner/term_std/term_std.ml
+0 -1 metaprl/refiner/term_std/term_std_sig.ml