Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-24 11:06:35 -0700 (Mon, 24 Sep 2001)
Revision: 3408
Log message:

      Added a term for Memcpy.  No rewrites (evaluation)
      for it yet, though.
      

Changes	Path
+7 -0	metaprl/theories/mc/fir_exp.ml
+1 -0	metaprl/theories/mc/fir_exp.mli