| Thu, 13 Mar 2014 17:16:49 +0000 |
Christian Urban |
updated to changes in Isabelle
|
file |
diff |
annotate
|
| Mon, 25 Feb 2013 00:33:48 +0000 |
Christian Urban |
updated the CallML section with the help from Florian
|
file |
diff |
annotate
|
| Mon, 27 Aug 2012 10:24:10 +0100 |
Christian Urban |
adapted to new build framework
|
file |
diff |
annotate
|
| Mon, 30 Apr 2012 14:43:52 +0100 |
Christian Urban |
removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
|
file |
diff |
annotate
|
| Tue, 20 Mar 2012 09:39:44 +0000 |
Christian Urban |
updated to outer syntax / parser changes
|
file |
diff |
annotate
|
| Thu, 27 May 2010 10:39:07 +0200 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Fri, 30 Oct 2009 09:42:16 +0100 |
haftmann |
avoid value restriction
|
file |
diff |
annotate
|
| Tue, 13 Oct 2009 22:57:25 +0200 |
Christian Urban |
tuned the ML-output mechanism; tuned slightly the text
|
file |
diff |
annotate
|
| Thu, 20 Aug 2009 22:30:20 +0200 |
Christian Urban |
further polishing of index generation
|
file |
diff |
annotate
|
| Thu, 20 Aug 2009 14:19:39 +0200 |
Christian Urban |
simplified a bit the index generation
|
file |
diff |
annotate
|
| Thu, 30 Jul 2009 16:02:26 +0200 |
Christian Urban |
tuned figure placement
|
file |
diff |
annotate
|
| Thu, 30 Jul 2009 15:51:51 +0200 |
Christian Urban |
polished the package chapter used FOCUS to explain the subproofs
|
file |
diff |
annotate
|
| Sat, 30 May 2009 17:40:20 +0200 |
Christian Urban |
added some first index-information
|
file |
diff |
annotate
|
| Fri, 08 May 2009 17:11:57 +0200 |
Christian Urban |
Jasmin and Christian added examples for the pretty-printing section
|
file |
diff |
annotate
|
| Tue, 05 May 2009 03:21:49 +0200 |
Christian Urban |
fixed the problem with double definition of even and odd
|
file |
diff |
annotate
|
| Wed, 01 Apr 2009 15:42:47 +0100 |
Christian Urban |
finished the heavy duty stuff for the inductive package
|
file |
diff |
annotate
|
| Wed, 01 Apr 2009 12:26:56 +0100 |
Christian Urban |
more work on the simple inductive chapter
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 20:31:18 +0100 |
Christian Urban |
started to adapt the rest of chapter 5 to the simplified version without parameters (they will be described in the extension section)
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 15:48:53 +0100 |
Christian Urban |
more work on the inductive package
|
file |
diff |
annotate
|
| Fri, 27 Mar 2009 18:19:42 +0000 |
Christian Urban |
polishing
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 13:28:16 +0100 |
Christian Urban |
made more of the transition from "CookBook" to "ProgTutorial"
|
file |
diff |
annotate
| base
|