Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-11-09 22:52:49 -0800 (Tue, 09 Nov 2004)
Revision: 6257
Log message:
New code that generates trace of supinf's reasoning and than constructs the proof.
It proves all but the biggest test (itt_supinf/inttestn).
Couldn't submit the proofs because metaprl crashes on export.