Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-12-16 21:12:55 -0800 (Fri, 16 Dec 2005)
Revision: 8313
Log message:

      Alexei & Aleksey: making some progress towards being able to switch to
      pairwise.
      

Changes  Path
+18 -13 metaprl/theories/itt/core/itt_atom_bool.ml
Added metaprl/theories/itt/core/itt_atom_bool.prla
Properties metaprl/theories/itt/core/itt_atom_bool.prla
+21 -47 metaprl/theories/itt/extensions/base/pairwise-verification.ml