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

      Committing today's work.  I've been having CVS issues so I hope this doesn't
      screw everything up...
      

Changes	Path
+3 -1	mpcompiler-branches/mojave_sequents/mmc/core/Files
+5 -1	mpcompiler-branches/mojave_sequents/mmc/core/core_tuple.mli
+2 -11	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_cps.ml
+28 -0	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_list_util.ml
+3 -1	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_list_util.mli