Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-06 13:00:44 -0700 (Wed, 06 Apr 2005)
Revision: 7159
Log message:

      Updated arith, int, bool.
      

Changes	Path
+48 -36	mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+21 -0	mpcompiler/mmc/extensions/bool/mmc_ext_bool.mli
+51 -34	mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+32 -10	mpcompiler/mmc/extensions/int/mmc_ext_int.mli
+50 -51	mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml
+65 -40	mpcompiler/mmc/extensions/operator/mmc_ext_operator.mli