| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
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
|
| Fri, 12 Apr 2013 08:27:43 +0200 |
nipkow |
reduced duplication
|
file |
diff |
annotate
|
| Fri, 30 Nov 2012 17:12:01 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Fri, 23 Nov 2012 13:46:01 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Sun, 04 Nov 2012 17:36:26 +0100 |
nipkow |
now that sets are executable again, no more special treatment of variable sets
|
file |
diff |
annotate
|
| Mon, 22 Oct 2012 22:24:34 +0200 |
haftmann |
incorporated constant chars into instantiation proof for enum;
|
file |
diff |
annotate
|
| Wed, 07 Dec 2011 11:24:45 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Thu, 01 Dec 2011 20:52:16 +0100 |
nipkow |
merged IMP/Util into IMP/Vars
|
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
|
| Tue, 20 Sep 2011 05:48:23 +0200 |
nipkow |
Updated IMP to use new induction method
|
file |
diff |
annotate
|
| Mon, 06 Jun 2011 16:29:38 +0200 |
kleing |
imported rest of new IMP
|
file |
diff |
annotate
|