Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-28 18:29:59 -0800 (Wed, 28 Jan 2004)
Revision: 5307
Log message:

      Removed all the unused "open" statements.
      

Changes	Path
+0 -1	metaprl/filter/base/filter_util.ml
+3 -5	metaprl/refiner/reflib/refine_exn.ml
+0 -1	metaprl/refiner/reflib/refine_exn.mli
+0 -1	metaprl/refiner/rewrite/rewrite.ml
+0 -1	metaprl/refiner/rewrite/rewrite_debug.mli
+0 -3	metaprl/support/shell/package_info.ml
+0 -1	metaprl/support/shell/shell_rule.ml
+4 -4	metaprl/support/shell/shell_state.ml
+0 -1	metaprl/support/tactics/tactic_cache.ml
+0 -1	metaprl/tactics/proof/tactic_boot_sig.ml
+0 -1	metaprl/theories/experimental/compile/m_util.ml
+0 -2	metaprl/theories/itt/itt_bugs.ml
+0 -10	metaprl/theories/itt/itt_field.ml
+0 -7	metaprl/theories/itt/itt_field2.ml
+0 -1	metaprl/theories/itt/itt_fun2.ml
+1 -11	metaprl/theories/itt/itt_intdomain.ml
+0 -1	metaprl/theories/itt/itt_nat.mli
+0 -14	metaprl/theories/itt/itt_nequal.ml
+0 -9	metaprl/theories/itt/itt_order.ml
+0 -10	metaprl/theories/itt/itt_poly.ml
+0 -3	metaprl/theories/itt/itt_rat.ml
+0 -5	metaprl/theories/itt/itt_record_label.ml
+0 -1	metaprl/theories/itt/itt_record_renaming.ml
+0 -2	metaprl/theories/itt/itt_relation_str.ml
+0 -1	metaprl/theories/itt/itt_rfun.mli
+0 -9	metaprl/theories/itt/itt_ring.ml
+0 -1	metaprl/theories/itt/itt_ring2.ml
+0 -1	metaprl/theories/itt/itt_squiggle.ml
+0 -1	metaprl/theories/itt/itt_squiggle.mli
+0 -12	metaprl/theories/itt/itt_supinf.ml
+0 -1	metaprl/theories/itt/itt_supinf.mli
+0 -9	metaprl/theories/itt/itt_unitring.ml
+0 -1	mpcompiler/mmc/core/mmc_core_closure.ml
+0 -1	mpcompiler/mmc/core/mmc_core_type_infer.ml
+0 -1	mpcompiler/mmc/core/mmc_core_util.ml