Thu, 15 Feb 2018 12:11:00 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Fri, 12 Jan 2018 14:08:53 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
Tue, 07 Nov 2017 14:52:27 +0100 |
nipkow |
Replaced { } proofs by local lemmas; added Hoare logic with logical variables.
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 21:51:56 +0100 |
haftmann |
prefer abbreviations for compound operators INFIMUM and SUPREMUM
|
file |
diff |
annotate
|
Fri, 22 Jan 2016 16:00:03 +0000 |
paulson |
Reorganised a huge proof
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
Fri, 21 Jun 2013 09:00:26 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Thu, 20 Jun 2013 17:43:36 +0200 |
nipkow |
added lemma
|
file |
diff |
annotate
|
Wed, 19 Jun 2013 17:16:45 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Wed, 19 Jun 2013 10:54:34 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Wed, 19 Jun 2013 10:14:50 +0200 |
nipkow |
more canonical name (2)
|
file |
diff |
annotate
|
Wed, 19 Jun 2013 10:07:36 +0200 |
nipkow |
more canonical name
|
file |
diff |
annotate
| base
|