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

      Phobos_theory.mlz is now split up.
      

Changes	Path
Added	metaprl/theories/phobos/phobos_theory.ml
Properties	metaprl/theories/phobos/phobos_theory.ml
Added	metaprl/theories/phobos/phobos_theory.mli
Properties	metaprl/theories/phobos/phobos_theory.mli