Sat, 08 Feb 2014 20:34:10 +0100 |
nipkow |
more indexing
|
file |
diff |
annotate
|
Thu, 06 Feb 2014 18:31:31 +0100 |
nipkow |
indexed document
|
file |
diff |
annotate
|
Tue, 04 Feb 2014 17:44:15 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Tue, 04 Feb 2014 17:38:54 +0100 |
nipkow |
started index
|
file |
diff |
annotate
|
Thu, 28 Nov 2013 12:04:37 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Sun, 24 Nov 2013 13:22:59 +0100 |
nipkow |
replaced bad example
|
file |
diff |
annotate
|
Mon, 18 Nov 2013 09:45:50 +0100 |
nipkow |
comments by Sean Seefried
|
file |
diff |
annotate
|
Sat, 16 Nov 2013 07:45:53 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Wed, 23 Oct 2013 21:12:20 +0200 |
nipkow |
more exercises
|
file |
diff |
annotate
|
Wed, 23 Oct 2013 18:04:43 +0200 |
nipkow |
added exercises
|
file |
diff |
annotate
|
Thu, 17 Oct 2013 16:45:54 +0200 |
nipkow |
more exercises
|
file |
diff |
annotate
|
Tue, 13 Aug 2013 16:25:47 +0200 |
wenzelm |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
file |
diff |
annotate
|
Sun, 21 Jul 2013 14:02:33 +0200 |
nipkow |
tuned exercises
|
file |
diff |
annotate
|
Thu, 11 Jul 2013 21:34:37 +0200 |
nipkow |
added exercises
|
file |
diff |
annotate
|
Mon, 10 Jun 2013 16:04:18 +0200 |
nipkow |
all headings in upper case
|
file |
diff |
annotate
|
Fri, 17 May 2013 02:57:00 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Wed, 20 Mar 2013 11:32:16 +0100 |
kleing |
add label for referencing in semantics book
|
file |
diff |
annotate
|
Tue, 12 Mar 2013 11:31:31 +0100 |
nipkow |
added pairs
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|