Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-20 23:24:58 -0700 (Mon, 20 Oct 2003)
Revision: 5015
Log message:

      Killing a number of unneeded 'open' directives.
      

Changes	Path
+0 -3	metaprl/editor/ml/tests/prop-pigeon.ml
+0 -2	metaprl/filter/phobos/phobos_header.ml
+0 -2	metaprl/filter/phobos/phobos_header.mli
+0 -1	metaprl/refiner/rewrite/rewrite_compile_redex.ml
+0 -1	metaprl/support/display/nuprl_font.ml
+0 -24	metaprl/theories/itt/itt_quotient_group.ml
+0 -19	metaprl/theories/itt/itt_quotient_group.mli
+1 -9	metaprl/theories/itt/itt_rat.ml
+1 -17	metaprl/theories/itt/itt_rat.mli
+0 -5	metaprl/theories/itt/itt_test.ml
+0 -1	metaprl/theories/itt/itt_test.mli
+19 -12	metaprl/util/clean-opens
+0 -1	metaprl/util/ocamldep.mll
+0 -3	mpcompiler/mmc/core/mmc_core_type_infer.ml
+0 -1	mpcompiler/mmc/extensions/ext_arithmetic.ml
+0 -3	mpcompiler/mmc/extensions/ext_boolean.ml