Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-24 03:48:53 -0700 (Thu, 24 Jul 2003)
Revision: 4773
Log message:
Fixed another JProver bug (this time - in the ITT decoding of the JProver
proof). I also cleaned up the proofs in those theories where JProver
shortened some proofs.