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