Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-20 06:51:38 -0800 (Tue, 20 Nov 2001)
Revision: 3451
Log message:

      Even more term ops implemented.
      

Changes	Path
+1 -1	metaprl/theories/mc/Conscript
+1 -0	metaprl/theories/mc/Makefile
+3 -0	metaprl/theories/mc/README
+18 -14	metaprl/theories/mc/fir_exp.ml
+12 -5	metaprl/theories/mc/fir_exp.mli
+2 -4	metaprl/theories/mc/fir_marshal.ml
+107 -180	metaprl/theories/mc/mc_term_op_ds.ml
+28 -63	metaprl/theories/mc/mc_term_op_ds.mli