Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-24 22:26:29 -0700 (Wed, 24 Apr 2002)
Revision: 3583
Log message:

      Committing a much needed update of the README file.
      Currently contains a brief introduction to the motiviations
      that led to this theory's creation and some notes
      about compiling MetaPRL with MC (the Mojave Compiler).
      

Changes  Path
+33 -16 metaprl/theories/mc/README