Sun, 08 Sep 2013 23:26:08 +0200 | krauss | clarified | changeset | files |
Sun, 08 Sep 2013 22:32:47 +0200 | Manuel Eberl | generate elim rules for elimination of function equalities; | changeset | files |
Fri, 13 Sep 2013 07:59:50 +0200 | haftmann | tuned proofs | changeset | files |