| Tue, 10 Jul 2007 09:23:10 +0200 | haftmann | introduced (auxiliary) class dvd_mod for more convenient code generation | file | diff | annotate |
| Thu, 31 May 2007 18:16:50 +0200 | wenzelm | removed dead code; | file | diff | annotate |
| Sat, 19 May 2007 11:33:21 +0200 | haftmann | uniform module names for code generation | file | diff | annotate |
| Thu, 17 May 2007 19:49:16 +0200 | haftmann | tuned | file | diff | annotate |
| Thu, 10 May 2007 10:21:44 +0200 | haftmann | tuned | file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |
| Thu, 26 Apr 2007 13:33:04 +0200 | haftmann | added lemmatas | 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 |
| Tue, 17 Apr 2007 00:30:44 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Tue, 20 Mar 2007 08:27:15 +0100 | haftmann | explizit "type" superclass | file | diff | annotate |
| Wed, 07 Feb 2007 17:26:49 +0100 | berghofe | Adapted to changes in Transitive_Closure theory. | file | diff | annotate |
| Wed, 27 Dec 2006 19:10:00 +0100 | haftmann | added OCaml code generation (without dictionaries) | file | diff | annotate |
| Sat, 18 Nov 2006 00:20:15 +0100 | haftmann | div is now a class | file | diff | annotate |
| Mon, 06 Nov 2006 16:28:31 +0100 | haftmann | code generator module naming improved | file | diff | annotate |
| Wed, 20 Sep 2006 12:24:11 +0200 | haftmann | name shifts | file | diff | annotate |