| Wed, 15 Apr 2009 13:11:08 +0000 |
Christian Urban |
replaced "warning" with "writeln"
|
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 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 16:50:13 +0100 |
Christian Urban |
used antiquotations
|
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
|
| Wed, 25 Mar 2009 15:09:04 +0100 |
Christian Urban |
soem slight polishing
|
file |
diff |
annotate
|
| Tue, 24 Mar 2009 18:06:20 +0100 |
Christian Urban |
a bit more work on the simple-inductive package
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 18:17:24 +0100 |
Christian Urban |
some polishing
|
file |
diff |
annotate
|
| Sat, 21 Mar 2009 12:35:03 +0100 |
Christian Urban |
some polishing
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 17:50:28 +0100 |
Christian Urban |
more one the simple-inductive chapter
|
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
|