| Mon, 22 Feb 2010 11:10:20 +0100 | haftmann | proper distinction of code datatypes and abstypes | file | diff | annotate |
| Fri, 19 Feb 2010 11:06:22 +0100 | haftmann | context theorem is optional | file | diff | annotate |
| Sun, 07 Feb 2010 18:04:48 +0100 | wenzelm | simplified interface for ML antiquotations, struct_name is always "Isabelle"; | file | diff | annotate |
| Tue, 08 Dec 2009 14:31:19 +0100 | haftmann | simplified notion of empty module name | file | diff | annotate |
| Mon, 07 Dec 2009 16:27:48 +0100 | haftmann | split off evaluation mechanisms in separte module Code_Eval | file | diff | annotate | base |