Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-05 19:41:19 -0700 (Mon, 05 Aug 2002)
Revision: 3769
Log message:

      Oops.  Let's not print out theories that are not compiled in.
      

Changes  Path
+2 -0 metaprl/doc/latex/theories/mc/print.ml