Fri, 23 Apr 2010 12:07:12 +0200 | blanchet | handle SPASS's equality predicate correctly in Isar proof reconstruction | changeset | files |
Fri, 23 Apr 2010 11:34:49 +0200 | blanchet | merged | changeset | files |
Fri, 23 Apr 2010 11:32:36 +0200 | blanchet | added Isar proof reconstruction support for SPASS -- which means all provers can now yield Isar proofs; | changeset | files |