| 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 |