Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-02 09:10:16 -0700 (Thu, 02 Aug 2001)
Revision: 3357
Log message:

      Added the not-equals int op.
      

Changes	Path
+5 -0	metaprl/theories/mc/fir_int.ml
+1 -0	metaprl/theories/mc/fir_int.mli