Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-20 15:28:18 -0700 (Wed, 20 Jul 2005)
Revision: 7644
Log message:

      1.Made one exception more verbose
      2.Fixed a typo
      

Changes	Path
+4 -2	metaprl/theories/itt/itt_logic.ml