Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-21 00:39:09 -0700 (Tue, 21 May 2002)
Revision: 3680
Log message:

      Adding operational semantics for eqEqOp.
      

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