| Mon, 11 Nov 2013 10:23:01 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Thu, 01 Aug 2013 16:52:28 +0200 |
kleing |
removed duplicate lemma
|
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
|
| Thu, 28 Mar 2013 16:11:48 +0100 |
kleing |
replace induction by hammer
|
file |
diff |
annotate
|
| Mon, 25 Mar 2013 15:18:44 +0100 |
kleing |
simp_const -> afold; bfold -> fold'; bsimp_const -> bfold
|
file |
diff |
annotate
|
| Mon, 25 Mar 2013 13:50:50 +0100 |
kleing |
removed obsolete uses of ext
|
file |
diff |
annotate
|
| Thu, 23 Aug 2012 15:32:22 +0200 |
Gerwin Klein |
remove Hoare dependency from Fold.thy
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 07:38:22 +0200 |
nipkow |
renamed Semi to Seq
|
file |
diff |
annotate
|
| Thu, 20 Oct 2011 09:48:00 +0200 |
nipkow |
renamed name -> vname
|
file |
diff |
annotate
|
| Wed, 19 Oct 2011 16:32:12 +0200 |
nipkow |
renamed B to Bc
|
file |
diff |
annotate
|
| Thu, 13 Oct 2011 11:45:33 +0200 |
wenzelm |
discontinued obsolete 'types' command;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2011 05:48:23 +0200 |
nipkow |
Updated IMP to use new induction method
|
file |
diff |
annotate
|
| Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
| Fri, 09 Sep 2011 06:45:39 +0200 |
nipkow |
tuned headers
|
file |
diff |
annotate
|
| Mon, 08 Aug 2011 16:47:55 +0200 |
kleing |
import constant folding theory into IMP
|
file |
diff |
annotate
|