Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-29 01:01:35 -0700 (Sat, 29 Sep 2001)
Revision: 3417
Log message:

      Entered in some final end of summer comments,
      to ease picking up the code at a later date.
      (Really, its not that bad, but this is still
      a good idea anyways.)
      

Changes	Path
+51 -12	metaprl/theories/mc/README
+94 -374	metaprl/theories/mc/fir_test.ml