Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-03-24 10:03:11 -0800 (Sat, 24 Mar 2001)
Revision: 3193
Log message:

      Fixed the show_loading statements to ensure we do not have the same ones
      in different files.
      Thanks to Morten <mrhiger@daimi.au.dk> for noticing this problem.
      

Changes	Path
+15 -28	metaprl/editor/ml/nuprl_run.ml
+1 -1	metaprl/filter/boot/conversionals_boot.ml
+1 -1	metaprl/filter/boot/tacticals_boot.ml
+1 -1	metaprl/refiner/reflib/term_match_table.ml
+1 -1	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+1 -1	metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+4 -5	metaprl/refiner/rewrite/rewrite_compile_redex.ml
+1 -3	metaprl/refiner/rewrite/rewrite_match_redex.ml
+1 -1	metaprl/refiner/term_ds/term_base_ds.ml
+1 -1	metaprl/refiner/term_ds/term_man_ds.ml
+1 -1	metaprl/refiner/term_std/term_base_std.ml
+1 -1	metaprl/refiner/term_std/term_std.ml
+1 -1	metaprl/theories/czf/czf_itt_all.ml
+1 -1	metaprl/theories/czf/czf_itt_exists.ml
+1 -1	metaprl/theories/czf/czf_itt_isect.ml
+1 -1	metaprl/theories/czf/czf_itt_sall.ml
+1 -1	metaprl/theories/czf/czf_itt_sexists.ml
+1 -1	metaprl/theories/itt/itt_decidable.ml
+1 -1	metaprl/theories/tactic/top_conversionals.ml