Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-09-13 01:04:15 -0700 (Fri, 13 Sep 2002)
Revision: 3874
Log message:

      Added a simple error term to halt with an error message.
      Also, reduceC contains the Phobos-related rewrites and all Base_meta
      rewrites if you include Phobos_theory.
      

Changes	Path
+1 -1	metaprl/theories/phobos/Conscript
+23 -0	metaprl/theories/phobos/phobos_base.ml
+5 -0	metaprl/theories/phobos/phobos_base.mli
Deleted	metaprl/theories/phobos/phobos_theory.mlz