Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-12 17:02:30 -0700 (Tue, 12 Jul 2005)
Revision: 7589
Log message:

      Do not atempt to use ITT-JProver on non-ITT sequents.
      

Changes  Path
+1 -0 metaprl/theories/itt/itt_equal.ml
+1 -0 metaprl/theories/itt/itt_equal.mli
+6 -4 metaprl/theories/itt/itt_logic.ml