Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2003-08-18 14:23:15 -0700 (Mon, 18 Aug 2003)
Revision: 4847
Log message:

      Some more changes... I don't know why all the files say they were touched...
      

Changes  Path
+1 -1 mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_infer.ml
+11 -17 mpcompiler-branches/mojave_sequents/mmc/extensions/ext_arithmetic_integer.ml
+32 -18 mpcompiler-branches/mojave_sequents/mmc/extensions/ext_array_integer.ml