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
|