Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-19 13:15:05 -0800 (Wed, 19 Jan 2005)
Revision: 6444
Log message:

      No-op: removed a number of unused "open" statements
      

Changes	Path
+0 -1	metaprl/filter/base/filter_buffer.ml
+0 -1	metaprl/filter/base/filter_cache.ml
+0 -1	metaprl/filter/base/filter_grammar.ml
+1 -4	metaprl/filter/base/filter_grammar.mli
+0 -2	metaprl/filter/base/filter_hash.ml
+1 -1	metaprl/filter/base/filter_magic.ml
+0 -1	metaprl/filter/base/filter_summary_util.ml
+0 -1	metaprl/filter/base/filter_type.ml
+1 -2	metaprl/filter/base/filter_util.mli
+0 -1	metaprl/filter/phobos/phobos_debug.ml
+1 -2	metaprl/filter/phobos/phobos_exn.mli
+0 -1	metaprl/filter/phobos/phobos_print.ml
+0 -1	metaprl/filter/phobos/phobos_rewrite.ml
+0 -2	metaprl/filter/phobos/phobos_state.ml
+0 -1	metaprl/library/ascii_scan.ml
+0 -1	metaprl/library/basic.ml
+0 -1	metaprl/library/db.ml
+0 -1	metaprl/library/definition.ml
+0 -1	metaprl/library/library.ml
+0 -1	metaprl/library/library_type_base.ml
+0 -1	metaprl/library/link.ml
+0 -1	metaprl/library/lint32.ml
+0 -1	metaprl/library/nuprl5.ml
+0 -1	metaprl/library/oidtable.ml
+0 -1	metaprl/library/orb.ml
+0 -1	metaprl/library/registry.ml
+0 -1	metaprl/library/socketIo.ml
+0 -1	metaprl/library/tentfunctor.ml
+0 -1	metaprl/library/utils.ml
+0 -1	metaprl/mllib/bitset.ml
+0 -1	metaprl/mllib/precedence.ml
+0 -1	metaprl/refiner/refbase/opname.ml
+0 -1	metaprl/refiner/reflib/dform.ml
+4 -6	metaprl/refiner/reflib/dform.mli
+0 -1	metaprl/refiner/reflib/match_seq.ml
+1 -1	metaprl/refiner/reflib/simple_print_sig.ml
+0 -0	metaprl/refiner/reflib/supinf.mli
+0 -1	metaprl/refiner/reflib/term_compare.ml
+0 -1	metaprl/refiner/reflib/term_dtable.ml
+1 -2	metaprl/refiner/reflib/term_stable.mli
+0 -1	metaprl/refiner/reflib/theory.ml
+1 -1	metaprl/refiner/refsig/rewrite_sig.ml
+1 -1	metaprl/refiner/refsig/term_base_sig.ml
+1 -2	metaprl/refiner/refsig/thread_refiner_sig.ml
+0 -1	metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+0 -1	metaprl/refiner/rewrite/rewrite_compile_redex.ml
+0 -1	metaprl/refiner/rewrite/rewrite_compile_redex.mli
+1 -1	metaprl/refiner/rewrite/rewrite_debug_sig.ml
+0 -1	metaprl/refiner/rewrite/rewrite_util.ml
+0 -1	metaprl/refiner/term_ds/term_ds.ml
+1 -1	metaprl/refiner/term_ds/term_ds_sig.ml
+0 -1	metaprl/refiner/term_ds/term_man_ds.ml
+0 -1	metaprl/refiner/term_gen/term_man_gen.ml
+0 -1	metaprl/refiner/term_std/term_std.ml
+1 -1	metaprl/refiner/term_std/term_std_sig.ml
+0 -1	metaprl/support/display/base_dform.ml
+0 -1	metaprl/support/display/nuprl_font.ml
+0 -1	metaprl/support/display/ocaml_base_df.ml
+0 -1	metaprl/support/display/ocaml_expr_df.ml
+0 -1	metaprl/support/display/ocaml_me_df.ml
+0 -1	metaprl/support/display/ocaml_mt_df.ml
+0 -1	metaprl/support/display/ocaml_patt_df.ml
+0 -1	metaprl/support/display/ocaml_sig_df.ml
+0 -1	metaprl/support/display/ocaml_str_df.ml
+0 -1	metaprl/support/display/ocaml_type_df.ml
+0 -1	metaprl/support/display/perv.ml
+0 -1	metaprl/support/display/summary.ml
+0 -2	metaprl/support/shell/browser_copy.mll
+0 -1	metaprl/support/shell/browser_edit.ml
+0 -1	metaprl/support/shell/browser_resource.ml
+0 -1	metaprl/support/shell/browser_resource.mli
+0 -1	metaprl/support/shell/proof_edit.mli
+0 -2	metaprl/support/shell/session.ml
+0 -2	metaprl/support/shell/session.mli
+0 -8	metaprl/support/shell/shell.ml
+0 -3	metaprl/support/shell/shell.mli
+0 -5	metaprl/support/shell/shell_browser.ml
+0 -1	metaprl/support/shell/shell_command.ml
+0 -1	metaprl/support/shell/shell_core.ml
+0 -4	metaprl/support/shell/shell_core.mli
+0 -1	metaprl/support/shell/shell_current.ml
+0 -3	metaprl/support/shell/shell_fs.ml
+0 -3	metaprl/support/shell/shell_internal_sig.mlz
+0 -1	metaprl/support/shell/shell_package.ml
+0 -2	metaprl/support/shell/shell_root.ml
+0 -1	metaprl/support/shell/shell_sig.mlz
+0 -1	metaprl/support/shell/shell_state.ml
+1 -2	metaprl/support/shell/shell_state.mli
+0 -2	metaprl/support/shell/shell_util.mli
+0 -1	metaprl/support/tactics/auto_tactic.ml
+0 -1	metaprl/support/tactics/dtactic.ml
+0 -1	metaprl/support/tactics/simp_typeinf.ml
+0 -1	metaprl/support/tactics/tactic_cache.ml
+0 -1	metaprl/support/tactics/typeinf.ml
+0 -1	metaprl/support/tactics/var.ml
+2 -2	metaprl/util/clean-opens