Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-12-16 12:25:09 -0800 (Sun, 16 Dec 2001)
Revision: 3471
Log message:

      A final commit before I take off for the break.
      Various minor changes and improvements.  Work
      remaining is listed in TODO.
      

Changes	Path
+4 -3	metaprl/theories/mc/README
+19 -4	metaprl/theories/mc/TODO
+81 -0	metaprl/theories/mc/fir_test.ml
+2 -2	metaprl/theories/mc/fir_ty.ml
+25 -12	metaprl/theories/mc/mc_fir_connect_base.ml
+7 -1	metaprl/theories/mc/mc_fir_connect_base.mli
+7 -2	metaprl/theories/mc/mc_fir_connect_exp.ml
+15 -8	metaprl/theories/mc/mc_set.ml
+1 -0	metaprl/theories/mc/mc_term_op.ml
+1 -0	metaprl/theories/mc/mc_term_op.mli