Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-08 11:42:48 -0800 (Mon, 08 Mar 2004)
Revision: 5435
Log message:

      Added an mcc_main.ml file as the outermost compiler.
      

Changes	Path
+1 -1	metaprl/support/tactics/top_conversionals.mli
+4 -2	mpcompiler/mmc/OMakefile
Added	mpcompiler/mmc/main/Files
Properties	mpcompiler/mmc/main/Files
Added	mpcompiler/mmc/main/OMakefile
Properties	mpcompiler/mmc/main/OMakefile
Added	mpcompiler/mmc/main/mmc_theory.ml
Properties	mpcompiler/mmc/main/mmc_theory.ml
Added	mpcompiler/mmc/main/mmc_theory.mli
Properties	mpcompiler/mmc/main/mmc_theory.mli