Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Wed, 26 Dec 2018 16:25:20 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
Mon, 20 Aug 2018 20:54:26 +0200 |
nipkow |
avoid session qualification because no tex is generated when used;
|
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
|
Sat, 23 Jul 2016 13:25:44 +0200 |
nipkow |
added new vcg based on existentially quantified while-rule
|
file |
diff |
annotate
|
Sat, 25 Jan 2014 19:07:07 +0100 |
nipkow |
added lemma
|
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
|
Fri, 05 Jul 2013 16:45:31 +0200 |
nipkow |
improved proof automation for numerals
|
file |
diff |
annotate
|
Thu, 13 Jun 2013 14:35:05 +0200 |
nipkow |
simplified proofs
|
file |
diff |
annotate
|
Fri, 07 Jun 2013 22:13:04 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Mon, 03 Jun 2013 06:41:07 +0200 |
nipkow |
tuned proofs
|
file |
diff |
annotate
|
Sat, 01 Jun 2013 12:02:41 +0200 |
nipkow |
tuned theory name
|
file |
diff |
annotate
| base
|