Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2003-08-12 18:27:42 -0700 (Tue, 12 Aug 2003)
Revision: 4835
Log message:

      Adding new files from today.
      

Changes	Path
Added	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_closure.ml
Properties	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_closure.ml
Added	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_closure.mli
Properties	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_closure.mli
Added	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_tast_util.ml
Properties	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_tast_util.ml
Added	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_tast_util.mli
Properties	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_tast_util.mli