| Thu, 12 Nov 2009 20:35:14 +0100 | Christian Urban | completed the unification section | file | diff | annotate |
| Thu, 12 Nov 2009 10:06:26 +0100 | Christian Urban | tuned | file | diff | annotate |
| Wed, 11 Nov 2009 12:15:48 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Wed, 11 Nov 2009 05:34:46 +0100 | Christian Urban | tuned | file | diff | annotate |
| Tue, 10 Nov 2009 12:17:08 +0100 | Christian Urban | tuned | file | diff | annotate |
| Tue, 10 Nov 2009 06:24:00 +0100 | Christian Urban | tuned | file | diff | annotate |