Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-06-09 12:31:49 -0700 (Fri, 09 Jun 2000)
Revision: 3008
Log message:

      Added iff handling for Jprover and Barber example
      

Changes	Path
+6 -2	metaprl/theories/itt/itt_logic.ml
+6 -0	metaprl/theories/itt/jprover_tests.ml