| Wed, 09 May 2007 07:53:06 +0200 | haftmann | moved recfun_codegen.ML to Code_Generator.thy | 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 |
| Wed, 04 Apr 2007 00:10:59 +0200 | wenzelm | ML antiquotes; | file | diff | annotate |
| Fri, 16 Mar 2007 21:32:09 +0100 | haftmann | moved lattice instance here | file | diff | annotate |
| Wed, 27 Dec 2006 19:09:55 +0100 | haftmann | explizit serialization for Haskell id | file | diff | annotate |
| Mon, 18 Dec 2006 08:21:26 +0100 | haftmann | infix syntax for generated code for composition | file | diff | annotate |