Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-06 14:10:07 -0700 (Fri, 06 Sep 2002)
Revision: 3856
Log message:

      Updating the list of modules to print out.
      

Changes	Path
+4 -0	metaprl/doc/latex/theories/fir/print.ml