| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
| Tue, 16 Mar 2010 06:55:01 +0100 | haftmann | adjusted to changes in Finite_Set | file | diff | annotate |
| Mon, 22 Feb 2010 09:36:29 +0100 | haftmann | adjusted to cs. 8dfd816713c6 | file | diff | annotate |
| Tue, 09 Feb 2010 08:28:12 +0100 | haftmann | adjusted to cs. 9f841f20dca6 | file | diff | annotate |
| Sat, 06 Feb 2010 08:42:22 +0100 | haftmann | adjusted to changeset 118b41bba42b5 | file | diff | annotate |
| Thu, 22 Oct 2009 09:27:48 +0200 | nipkow | inv_onto -> inv_into | file | diff | annotate |
| Tue, 20 Oct 2009 14:44:02 +0200 | nipkow | added Hilbert_Choice section | file | diff | annotate |
| Wed, 14 Oct 2009 21:14:53 +0200 | nipkow | added List.nth | file | diff | annotate |
| 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 |