| Wed, 21 Apr 2010 10:09:07 +0200 | Christian Urban | merged | changeset | files |
| Wed, 21 Apr 2010 10:08:47 +0200 | Christian Urban | removed a sorry | changeset | files |
| Tue, 20 Apr 2010 18:24:50 +0200 | Christian Urban | renamed Ex1.thy to SingleLet.thy | changeset | files |
| Tue, 20 Apr 2010 11:29:00 +0200 | Christian Urban | tuning of the code | changeset | files |
| Wed, 21 Apr 2010 09:48:35 +0200 | Cezary Kaliszyk | Reorder FSet | changeset | files |
| Wed, 21 Apr 2010 09:13:55 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Wed, 21 Apr 2010 09:13:32 +0200 | Cezary Kaliszyk | lattice properties. | changeset | files |
| Tue, 20 Apr 2010 17:25:31 +0200 | Cezary Kaliszyk | All lifted in Term4. Requires new isabelle. | changeset | files |
| Tue, 20 Apr 2010 15:59:57 +0200 | Cezary Kaliszyk | fsets are distributive lattices. | changeset | files |
| Tue, 20 Apr 2010 10:23:39 +0200 | Cezary Kaliszyk | Fix of comment | changeset | files |
| Tue, 20 Apr 2010 09:13:52 +0200 | Christian Urban | reordered code | changeset | files |
| Tue, 20 Apr 2010 09:02:22 +0200 | Christian Urban | renamed "_empty" and "_append" to "_zero" and "_plus" | changeset | files |