| Thu, 15 Dec 2011 16:20:11 +0000 | Christian Urban | a bit more on alpha-beta-equated terms | changeset | files |
| Wed, 14 Dec 2011 01:32:42 +0000 | Christian Urban | generated the correct thm-list for showing that qfv are equal to support | changeset | files |
| Tue, 13 Dec 2011 09:39:56 +0000 | Christian Urban | updated to Isabelle 13 Dec | changeset | files |
| Tue, 06 Dec 2011 23:42:19 +0000 | Christian Urban | updated to Isabelle 6 Dec (thanks to Odrej Kuncar) | changeset | files |
| Mon, 05 Dec 2011 17:05:56 +0000 | Christian Urban | tiny improvement by removing one unnecessary assumption | changeset | files |
| Mon, 05 Dec 2011 16:12:44 +0000 | Christian Urban | deleted old strong_exhaust proof | changeset | files |
| Mon, 05 Dec 2011 15:34:12 +0000 | Christian Urban | tuned | changeset | files |