| 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
|
| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
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
|
| Mon, 20 May 2013 03:41:58 +0200 |
nipkow |
defined lvars and rvars of commands separately.
|
file |
diff |
annotate
|
| Fri, 17 May 2013 08:19:52 +0200 |
nipkow |
replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
|
file |
diff |
annotate
|
| Tue, 14 May 2013 07:09:09 +0200 |
nipkow |
tuned names
|
file |
diff |
annotate
|
| Fri, 12 Apr 2013 08:27:43 +0200 |
nipkow |
reduced duplication
|
file |
diff |
annotate
|
| Thu, 21 Mar 2013 10:05:03 +0100 |
nipkow |
proofs depend only on constraints, not on def of L WHILE
|
file |
diff |
annotate
|
| Wed, 20 Mar 2013 11:16:31 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Tue, 19 Mar 2013 14:07:13 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Sat, 16 Mar 2013 17:22:05 +0100 |
nipkow |
tuned (in particular bold fonts)
|
file |
diff |
annotate
|
| Fri, 23 Nov 2012 23:07:38 +0100 |
nipkow |
moved lemma
|
file |
diff |
annotate
|
| Mon, 05 Nov 2012 11:40:51 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Sun, 04 Nov 2012 18:38:18 +0100 |
nipkow |
executable true liveness analysis incl an approximating version
|
file |
diff |
annotate
|
| Sat, 14 Jul 2012 16:35:58 +0200 |
nipkow |
removed superfluous lemmas
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 07:38:22 +0200 |
nipkow |
renamed Semi to Seq
|
file |
diff |
annotate
|
| Mon, 30 Jan 2012 17:15:59 +0100 |
blanchet |
rename lambda translation schemes
|
file |
diff |
annotate
|
| Sun, 11 Dec 2011 18:22:06 +0100 |
nipkow |
added IMP/Live_True.thy
|
file |
diff |
annotate
|