Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-12 17:08:17 -0700 (Mon, 12 Aug 2002)
Revision: 3797
Log message:

      Another round of minor documentation/notes-to-myself updates before I start
      tackling the (not-so-easy) type rules...
      

Changes	Path
+2 -0	metaprl/theories/fir/README
+9 -4	metaprl/theories/fir/mfir_basic.ml