| Thu, 14 Jun 2007 23:04:39 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Thu, 10 May 2007 10:22:17 +0200 | haftmann | consts in consts_code Isar commands are now referred to by usual term syntax | file | diff | annotate |
| Sun, 06 May 2007 21:49:23 +0200 | haftmann | tuned | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:42 +0200 | haftmann | Isar definitions are now added explicitly to code theorem table | file | diff | annotate |
| Fri, 13 Apr 2007 21:26:35 +0200 | wenzelm | tuned document (headers, sections, spacing); | file | diff | annotate |
| Wed, 21 Mar 2007 16:06:15 +0100 | krauss | Unified function syntax | file | diff | annotate |