Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-01 15:09:48 -0800 (Tue, 01 Mar 2005)
Revision: 6791
Log message:

      These files are now generated.
      

Changes	Path
Deleted	mpcompiler/mmc/main/mmc_theory.ml
Deleted	mpcompiler/mmc/main/mmc_theory.mli