| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Fri, 12 Jan 2018 14:08:53 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 17:16:40 +1100 |
kleing |
provide more automation for type definitions (makes book exercises easier)
|
file |
diff |
annotate
|
| Thu, 28 Nov 2013 22:03:41 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Fri, 21 Jun 2013 16:21:33 -0700 |
kleing |
Explain to beginners why Complex_Main
|
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, 19 Mar 2013 14:04:53 +0100 |
kleing |
export datatype definition which gets expanded too much in antiquotation
|
file |
diff |
annotate
|
| Mon, 18 Mar 2013 14:27:38 +0100 |
kleing |
fewer IMP snippets
|
file |
diff |
annotate
|
| Tue, 12 Mar 2013 11:59:02 +0100 |
kleing |
more snippets
|
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
|
| 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, 03 Aug 2011 11:09:12 +0200 |
kleing |
fixed wrong isubs in IMP/Types
|
file |
diff |
annotate
|
| Thu, 02 Jun 2011 10:10:23 +0200 |
nipkow |
Added typed IMP
|
file |
diff |
annotate
|