| 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
|
| Sat, 31 Aug 2013 08:07:45 +0100 |
Christian Urban |
updated subscripts
|
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
|
| Sun, 25 Oct 2009 16:12:05 +0100 |
Christian Urban |
polished
|
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
|
| Wed, 22 Jul 2009 01:10:14 +0200 |
Christian Urban |
tuned
|
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
|
| Sat, 11 Apr 2009 19:23:58 +0000 |
Christian Urban |
very slight polishing to the simple inductive chapter
|
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 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
|
| Fri, 27 Mar 2009 12:49:28 +0000 |
Christian Urban |
more work on simple inductive and marked all sections that are still seriously incomplete with TBD
|
file |
diff |
annotate
|
| Thu, 26 Mar 2009 19:00:51 +0000 |
Christian Urban |
more work on the simple inductive 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
|