| Sat, 18 Sep 2010 06:09:43 +0800 | Christian Urban | updated to Isabelle Sept 16 | file | diff | annotate |
| Thu, 22 Jul 2010 08:30:50 +0200 | Christian Urban | updated to new Isabelle; made FSet more "quiet" | file | diff | annotate |
| Mon, 19 Jul 2010 07:49:10 +0100 | Christian Urban | minor | file | diff | annotate |
| Sun, 18 Jul 2010 19:07:05 +0100 | Christian Urban | minor things on the paper | file | diff | annotate |
| Sun, 18 Jul 2010 16:06:34 +0100 | Christian Urban | some test with quotient | file | diff | annotate |
| Wed, 23 Jun 2010 15:40:00 +0100 | Christian Urban | merged cezary's changes | file | diff | annotate |
| Wed, 23 Jun 2010 08:49:33 +0200 | Cezary Kaliszyk | merge | file | diff | annotate |