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