Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-05 17:43:22 -0700 (Tue, 05 Jul 2005)
Revision: 7559
Log message:

      If Jprover generates a subgoal with a conclusion that is identical to the
      original one, report it as a "JProver failed to make progress" and abort.
      

Changes	Path
+6 -1	metaprl/theories/itt/itt_logic.ml