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 |