Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-01 11:52:04 -0700 (Wed, 01 Aug 2001)
Revision: 3354
Log message:

      Added reductions for the boolean comparisons to the reduce tactic.
      

Changes	Path
+6 -0	metaprl/theories/itt/itt_int_ext.ml