Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-18 19:25:01 -0700 (Fri, 18 Jun 2004)
Revision: 5947
Log message:

      Added a build-time framework for groupping MetaPRL modules into theories.
      Still need to modify the shell code to make use of this information.
      

Changes	Path
+7 -2	metaprl/OMakefile
+20 -0	metaprl/filter/base/filter_util.ml
+4 -0	metaprl/filter/base/filter_util.mli
+8 -3	metaprl/filter/filter/filter_parse.ml
+8 -2	metaprl/filter/filter/filter_prog.ml
+2 -2	metaprl/filter/filter/filter_prog.mli
+3 -1	metaprl/filter/filter/prlcomp.ml
+11 -6	metaprl/mk/rules
+13 -1	metaprl/refiner/reflib/theory.ml
+3 -1	metaprl/refiner/reflib/theory.mli
+2 -4	metaprl/support/shell/shell_root.ml
+2 -0	metaprl/theories/czf/OMakefile
+2 -0	metaprl/theories/itt/OMakefile