Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-06 14:01:35 -0700 (Tue, 06 Aug 2002)
Revision: 3774
Log message:

      Adding new modules to the output.
      

Changes	Path
+3 -1	metaprl/doc/latex/theories/fir/print.ml