| Thu, 19 Jul 2007 21:47:39 +0200 | haftmann | uniform naming conventions for CG theories | file | diff | annotate |
| Tue, 19 Jun 2007 18:00:49 +0200 | krauss | generalized proofs so that call graphs can have any node type. | file | diff | annotate |
| Thu, 14 Jun 2007 23:04:39 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 13 Jun 2007 18:30:15 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | 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, 28 Feb 2007 11:12:12 +0100 | krauss | added headers | file | diff | annotate |
| Mon, 26 Feb 2007 21:34:16 +0100 | krauss | Added formalization of size-change principle (experimental). | file | diff | annotate |