| Fri, 19 Oct 2007 23:21:15 +0200 | wenzelm | export_code: proper command; | file | diff | annotate |
| Thu, 11 Oct 2007 19:10:17 +0200 | wenzelm | moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML); | file | diff | annotate |
| Thu, 11 Oct 2007 16:05:56 +0200 | wenzelm | replaced Sign.add_consts_authentic by Sign.declare_const; | file | diff | annotate |
| Mon, 08 Oct 2007 22:03:31 +0200 | haftmann | moved translation kernel to CodeThingol | file | diff | annotate |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | file | diff | annotate |
| Thu, 04 Oct 2007 19:54:44 +0200 | haftmann | certificates for code generator case expressions | file | diff | annotate |
| Thu, 04 Oct 2007 19:41:49 +0200 | haftmann | clarified relationship of code generator conversions and evaluations | file | diff | annotate |