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 |