Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-17 00:13:29 -0800 (Sat, 17 Nov 2001)
Revision: 3446
Log message:

      More term operations.
      

Changes	Path
+1715 -1551	metaprl/theories/mc/fir_eval.prla
+366 -0	metaprl/theories/mc/fir_exp.ml
+287 -0	metaprl/theories/mc/fir_exp.mli