Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-23 10:11:39 -0700 (Fri, 23 Aug 2002)
Revision: 3822
Log message:

      Updating the list of theories to print to reflect new modules.
      

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