Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2003-08-18 16:37:16 -0700 (Mon, 18 Aug 2003)
Revision: 4848
Log message:

      Just a brief commit while moving to a different machine.
      

Changes	Path
+8 -2	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_infer.ml
+12 -11	mpcompiler-branches/mojave_sequents/mmc/extensions/ext_arithmetic_integer.ml
+2 -0	mpcompiler-branches/mojave_sequents/mmc/extensions/ext_integer.ml