Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-29 13:33:37 -0700 (Thu, 29 Aug 2002)
Revision: 3836
Log message:

      Given my current set of ``test cases'', there's no sensible reason
      why they need to be output into theories.pdf, so I'm removing the
      mfir_test module from the output.
      

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