Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-16 22:35:30 -0700 (Sun, 16 Sep 2001)
Revision: 3382
Log message:

      Added reduce_eq_atom to the reduce resource.
      

Changes  Path
+1 -0 metaprl/theories/itt/itt_atom_bool.ml