Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-08-09 19:06:41 -0700 (Fri, 09 Aug 2002)
Revision: 3784
Log message:

      Added a new theory for Phobos. Eventually, I'll migrate Phobos-related
      stuff out of the dead mc theory.
      

Changes	Path
+1 -0	metaprl/theories/Conscript
+1 -0	metaprl/theories/mc/mp_mc_theory.mlz
Properties	metaprl/theories/phobos
Added	metaprl/theories/phobos/Conscript
Properties	metaprl/theories/phobos/Conscript
Added	metaprl/theories/phobos/Makefile
Properties	metaprl/theories/phobos/Makefile
Added	metaprl/theories/phobos/phobos_base.ml
Properties	metaprl/theories/phobos/phobos_base.ml
Added	metaprl/theories/phobos/phobos_base.mli
Properties	metaprl/theories/phobos/phobos_base.mli
Added	metaprl/theories/phobos/phobos_theory.mlz
Properties	metaprl/theories/phobos/phobos_theory.mlz