| Mon, 11 Nov 2013 10:23:01 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Mon, 11 Nov 2013 10:10:28 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Thu, 23 May 2013 13:51:21 +1000 |
kleing |
prefer object equality
|
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, 16 May 2013 13:49:18 +1000 |
kleing |
explicitly state equivalence relation for sim; tweak syntax of sem_equiv
|
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 12:30:43 -0400 |
kleing |
removed [trans] concept from basic material
|
file |
diff |
annotate
|
| Wed, 19 Oct 2011 16:32:12 +0200 |
nipkow |
renamed B to Bc
|
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
|
| Wed, 17 Aug 2011 15:03:30 -0700 |
huffman |
HOL-IMP: respect set/pred distinction
|
file |
diff |
annotate
|
| Mon, 08 Aug 2011 16:47:55 +0200 |
kleing |
import constant folding theory into IMP
|
file |
diff |
annotate
|