Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-24 00:07:50 -0800 (Wed, 24 Mar 2004)
Revision: 5536
Log message:

      Eliminated the last (hopefully) source of dups in the Mp_resource
      handling of the logical hierarchy.
      

Changes	Path
+9 -2	metaprl/refiner/reflib/mp_resource.ml
+1 -3	metaprl/theories/czf/czf_itt_bool.ml
+1 -3	metaprl/theories/czf/czf_itt_bool.mli