Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-05 16:18:00 -0700 (Thu, 05 Sep 2002)
Revision: 3852
Log message:

      Cleaning up generated documentation for Mfir_int_set. Also updating
      the README file with some new notes to myself about what I need to
      look at next, and removing notes that are no longer relevant.
      

Changes	Path
+18 -18	metaprl/theories/fir/README
+4 -17	metaprl/theories/fir/mfir_int_set.ml