| Thu, 23 Jul 2009 15:59:14 +0200 | haftmann | fixed doc | file | diff | annotate |
| Sun, 26 Apr 2009 08:34:53 +0200 | haftmann | adjusted to changes in power syntax | file | diff | annotate |
| Wed, 11 Mar 2009 20:11:06 +0100 | wenzelm | basic setup for "main" as generated Isabelle manual; | file | diff | annotate | base |