Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-09 10:05:55 -0700 (Mon, 09 Sep 2002)
Revision: 3860
Log message:

      Minor cleanup to documentation.
      

Changes	Path
+2 -0	metaprl/theories/fir/BUGS
+1 -1	metaprl/theories/fir/README