Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-14 16:03:38 -0800 (Sat, 14 Feb 2004)
Revision: 5377
Log message:

      Removing unused "open" directives.
      

Changes  Path
+0 -4 metaprl/refiner/reflib/arith.ml
+0 -5 metaprl/refiner/reflib/supinf.ml
+0 -8 metaprl/refiner/reflib/supinf.mli
+0 -1 metaprl/support/tactics/auto_tactic.ml
+0 -3 metaprl/theories/itt/itt_field_e.ml
+0 -2 metaprl/theories/itt/itt_int_arith.ml
+0 -2 metaprl/theories/itt/itt_int_base.ml
+0 -3 metaprl/theories/itt/itt_int_base.mli
+0 -2 metaprl/theories/itt/itt_intdomain_e.ml
+0 -1 metaprl/theories/itt/itt_poly.ml
+0 -3 metaprl/theories/itt/itt_rat.ml
+0 -1 metaprl/theories/itt/itt_record.ml
+0 -1 metaprl/theories/itt/itt_ring_e.ml
+0 -1 metaprl/theories/itt/itt_ring_uce.ml
+0 -1 metaprl/theories/itt/itt_squiggle.ml
+0 -1 metaprl/theories/itt/itt_struct2.ml
+0 -10 metaprl/theories/itt/itt_supinf.ml
+6 -3 metaprl/util/clean-opens
+0 -3 mpcompiler/mmc/core/mmc_core_type_check.ml