Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-17 15:35:52 -0800 (Tue, 17 Jan 2006)
Revision: 8496
Log message:

      Roll back the changes to Mp_resource.  Clearly I don't know what I am
      doing.
      

Changes  Path
+0 -1 metaprl/refiner/reflib/dform.ml
+54 -93 metaprl/refiner/reflib/mp_resource.ml
+6 -8 metaprl/refiner/reflib/mp_resource.mli
+0 -2 metaprl/refiner/reflib/term_match_table.ml
+0 -1 metaprl/refiner/reflib/term_stable.ml
+2 -4 metaprl/support/shell/browser_resource.ml
+0 -1 metaprl/support/shell/mptop.ml
+0 -2 metaprl/support/tactics/auto_tactic.ml
+0 -1 metaprl/support/tactics/base_cache.ml
+1 -0 metaprl/support/tactics/basic_tactics.ml
+18 -6 metaprl/support/tactics/top_options.ml
+6 -1 metaprl/support/tactics/top_options.mli
+1 -0 metaprl/tactics/proof/OMakefile
+1 -0 metaprl/tactics/proof/tactic_boot.ml
+1 -8 metaprl/tactics/proof/tactic_boot_sig.ml
+0 -1 metaprl/theories/itt/core/itt_sqsimple.ml
+0 -1 metaprl/theories/itt/core/itt_subtype.ml
+2 -0 metaprl/theories/itt/reflection/experimental/itt_hoas_relax1.ml
+645 -565 metaprl/theories/itt/reflection/experimental/itt_hoas_relax1.prla