src/Tools/Code/code_eval.ML
2009-12-08 haftmann 2009-12-08 simplified notion of empty module name
2009-12-07 haftmann 2009-12-07 split off evaluation mechanisms in separte module Code_Eval