Wed, 07 Oct 2009 09:44:03 +0200 | haftmann | Inf/Sup now purely syntactic | file | diff | annotate |
Tue, 28 Jul 2009 08:48:48 +0200 | krauss | adapted doc to type of "op O" | file | diff | annotate |
Sun, 26 Jul 2009 08:03:40 +0200 | haftmann | adapted to changed prefixes | file | diff | annotate |
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 |