Fri, 23 Apr 2010 12:24:30 +0200 | blanchet | compile | changeset | files |
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 |