Sat, 29 Mar 2014 11:41:39 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Wed, 12 Feb 2014 08:37:06 +0100 |
blanchet |
adapted to 'xxx_{case,rec}' renaming, to new theorem names, and to new variable names in theorems
|
file |
diff |
annotate
|
Tue, 11 Feb 2014 09:29:46 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Sat, 08 Feb 2014 20:34:10 +0100 |
nipkow |
more indexing
|
file |
diff |
annotate
|
Fri, 07 Feb 2014 22:37:43 +0100 |
nipkow |
indexed document
|
file |
diff |
annotate
|
Tue, 04 Feb 2014 17:38:54 +0100 |
nipkow |
started index
|
file |
diff |
annotate
|
Fri, 20 Dec 2013 21:08:48 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Mon, 25 Nov 2013 08:22:29 +0100 |
nipkow |
typos
|
file |
diff |
annotate
|
Sat, 16 Nov 2013 07:45:53 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Fri, 08 Nov 2013 21:40:07 +0100 |
nipkow |
more exercises
|
file |
diff |
annotate
|
Sat, 02 Nov 2013 17:50:28 +0100 |
nipkow |
more exercises
|
file |
diff |
annotate
|
Thu, 31 Oct 2013 11:48:45 +0100 |
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
|
Fri, 19 Jul 2013 15:48:04 +0200 |
nipkow |
added exerciese
|
file |
diff |
annotate
|
Tue, 16 Jul 2013 10:18:25 +0200 |
nipkow |
added exercise
|
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 20:41:45 +0200 |
wenzelm |
proper option quick_and_dirty;
|
file |
diff |
annotate
|
Mon, 18 Mar 2013 10:28:42 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Sun, 17 Mar 2013 20:27:13 +0100 |
nipkow |
added advanced rule induction subsection
|
file |
diff |
annotate
|
Fri, 12 Oct 2012 14:57:56 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|