Thu, 06 Sep 2018 16:50:00 +0200 |
nipkow |
added int and real
|
file |
diff |
annotate
|
Fri, 12 Jan 2018 14:08:53 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
Thu, 20 Apr 2017 10:45:52 +0200 |
nipkow |
typo
|
file |
diff |
annotate
|
Mon, 17 Oct 2016 13:20:38 +0200 |
nipkow |
updated to setsum -> sum
|
file |
diff |
annotate
|
Thu, 22 Sep 2016 00:12:17 +0200 |
wenzelm |
raw control symbols are superseded by Latex.embed_raw;
|
file |
diff |
annotate
|
Tue, 09 Feb 2016 16:38:43 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Tue, 09 Feb 2016 11:05:53 +0100 |
nipkow |
synchronized with book
|
file |
diff |
annotate
|
Wed, 14 Jan 2015 17:04:19 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Wed, 31 Dec 2014 11:27:26 +1100 |
kleing |
update map definition in Prog_Prove for new datatype package
|
file |
diff |
annotate
|
Fri, 03 Oct 2014 11:48:27 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Tue, 30 Sep 2014 22:43:20 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Thu, 07 Aug 2014 10:06:18 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Sun, 18 May 2014 20:29:04 +0200 |
nipkow |
typos
|
file |
diff |
annotate
|
Tue, 08 Apr 2014 12:46:38 +0200 |
haftmann |
even more standardized doc session names after #b266e7a86485
|
file |
diff |
annotate
| base
|