| Sun, 02 Mar 2014 19:15:23 +0100 |
nipkow |
tuned proof
|
file |
diff |
annotate
|
| Sun, 02 Mar 2014 18:41:26 +0100 |
nipkow |
tuned proofs
|
file |
diff |
annotate
|
| Wed, 23 Oct 2013 09:58:30 +0200 |
nipkow |
tuned
|
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, 17 May 2013 08:19:52 +0200 |
nipkow |
replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
|
file |
diff |
annotate
|
| Mon, 12 Nov 2012 18:42:49 +0100 |
nipkow |
tuned layout
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 08:35:35 +0200 |
nipkow |
tuned latex
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 07:38:22 +0200 |
nipkow |
renamed Semi to Seq
|
file |
diff |
annotate
|
| Wed, 09 Nov 2011 14:47:38 +1100 |
kleing |
more fragments to export, removed the one from Com
|
file |
diff |
annotate
|
| Tue, 25 Oct 2011 15:59:15 +0200 |
nipkow |
tuned names to avoid shadowing
|
file |
diff |
annotate
|
| Thu, 20 Oct 2011 12:30:43 -0400 |
kleing |
removed [trans] concept from basic material
|
file |
diff |
annotate
|
| Thu, 29 Sep 2011 21:42:03 +0200 |
Jean Pichon |
fixed typos in IMP
|
file |
diff |
annotate
|
| Tue, 20 Sep 2011 05:48:23 +0200 |
nipkow |
Updated IMP to use new induction method
|
file |
diff |
annotate
|
| Thu, 04 Aug 2011 16:49:57 +0200 |
kleing |
new state syntax with less conflicts
|
file |
diff |
annotate
|
| Mon, 06 Jun 2011 16:29:38 +0200 |
kleing |
imported rest of new IMP
|
file |
diff |
annotate
|
| Wed, 01 Jun 2011 21:35:34 +0200 |
nipkow |
Replacing old IMP with new Semantics material
|
file |
diff |
annotate
|