| Fri, 26 Nov 2010 12:17:24 +0900 | Cezary Kaliszyk | missing freshness assumptions | changeset | files |
| Thu, 25 Nov 2010 15:06:45 +0900 | Cezary Kaliszyk | foo2 strong induction | changeset | files |
| Wed, 24 Nov 2010 17:44:50 +0900 | Cezary Kaliszyk | foo2 full exhausts | changeset | files |
| Wed, 24 Nov 2010 16:59:26 +0900 | Cezary Kaliszyk | Foo2 strong_exhaust for first variable. | changeset | files |
| Mon, 22 Nov 2010 16:16:25 +0900 | Cezary Kaliszyk | single rename in let2 | changeset | files |
| Mon, 22 Nov 2010 16:14:47 +0900 | Cezary Kaliszyk | current isabelle | changeset | files |
| Sun, 21 Nov 2010 02:17:19 +0000 | Christian Urban | added example Foo2.thy | changeset | files |
| Mon, 15 Nov 2010 20:54:01 +0000 | Christian Urban | tuned example | changeset | files |
| Mon, 15 Nov 2010 09:52:29 +0000 | Christian Urban | proved that bn functions return a finite set | changeset | files |
| Mon, 15 Nov 2010 08:17:11 +0000 | Christian Urban | added a test for the various shallow binders | changeset | files |
| Mon, 15 Nov 2010 01:10:02 +0000 | Christian Urban | fixed bug in fv function where a shallow binder binds lists of names | changeset | files |
| Sun, 14 Nov 2010 16:34:47 +0000 | Christian Urban | merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy | changeset | files |
| Sun, 14 Nov 2010 12:09:14 +0000 | Christian Urban | deleted special Nominal2_FSet theory | changeset | files |
| Sun, 14 Nov 2010 11:46:39 +0000 | Christian Urban | moved rest of the lemmas from Nominal2_FSet to the TypeScheme example | changeset | files |