Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-23 22:09:02 -0800 (Tue, 23 Mar 2004)
Revision: 5535
Log message:

      Fixing a few issues with how the theory hierarchy is managed
      by the Mp_resource. There still seem to be some issues left, though...
      

Changes  Path
+13 -3 metaprl/filter/filter/filter_parse.ml
+13 -7 metaprl/refiner/reflib/mp_resource.ml
+0 -1 metaprl/theories/base/base_theory.mlz
+0 -1 metaprl/theories/itt/itt_list2.ml