| Wed, 28 Mar 2012 17:57:23 +0200 | nipkow | improved robustness with new antiquoation by Makarius | file | diff | annotate |
| Wed, 28 Mar 2012 16:12:10 +0200 | nipkow | updates | file | diff | annotate |
| Wed, 15 Feb 2012 20:24:21 +0100 | wenzelm | updated listrel (cf. 80dccedd6c14); | file | diff | annotate |
| Mon, 09 Jan 2012 14:26:13 +0100 | wenzelm | updated generated file; | file | diff | annotate |
| Thu, 29 Dec 2011 14:44:44 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Wed, 23 Nov 2011 13:46:46 +0100 | wenzelm | updated according to bdcaa3f3a2f4; | file | diff | annotate |
| Wed, 12 Jan 2011 21:57:01 +0100 | krauss | documented Option.bind | file | diff | annotate |
| Mon, 08 Nov 2010 00:00:47 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Fri, 29 Oct 2010 17:28:27 +0200 | nipkow | added listrel1 | 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 |
| 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 |
| Thu, 01 Oct 2009 20:20:45 +0200 | wenzelm | updated generated files; | file | diff | annotate |
| Tue, 28 Jul 2009 13:38:13 +0200 | haftmann | updated generated document | 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 |