| Sun, 22 Aug 2010 11:00:53 +0800 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Wed, 11 Aug 2010 16:23:50 +0800 | Christian Urban | updated to Isabelle 11 Aug | file | diff | annotate |
| Thu, 24 Jun 2010 19:32:33 +0100 | Christian Urban | fixed according to changes in quotient | file | diff | annotate |