Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-06 18:25:08 -0700 (Wed, 06 Apr 2005)
Revision: 7162
Log message:

      Renamed arith->operator as Nathan suggested.
      

Changes	Path
+1 -1	mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+1 -1	mpcompiler/mmc/extensions/bool/mmc_ext_bool.mli
+1 -1	mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+1 -1	mpcompiler/mmc/extensions/int/mmc_ext_int.mli
+1 -1	mpcompiler/mmc/extensions/operator/Files