| Tue, 21 May 2019 16:22:30 +0200 |
Norbert Schirmer |
accomodate to upcoming Isabelle 2019
|
file |
diff |
annotate
|
| Tue, 14 May 2019 17:10:47 +0200 |
Norbert Schirmer |
isabelle update_cartouches -t
|
file |
diff |
annotate
|
| Tue, 14 May 2019 11:10:53 +0200 |
Norbert Schirmer |
Accomodate to Isabelle 2018
|
file |
diff |
annotate
|
| Sun, 19 Feb 2012 01:33:47 +0000 |
Christian Urban |
updated to new Isabelle
|
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, 30 Jul 2009 15:51:51 +0200 |
Christian Urban |
polished the package chapter used FOCUS to explain the subproofs
|
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
|
| Thu, 19 Mar 2009 13:28:16 +0100 |
Christian Urban |
made more of the transition from "CookBook" to "ProgTutorial"
|
file |
diff |
annotate
| base
|