src/HOL/Code_Eval.thy
2008-09-16 haftmann 2008-09-16 moved term_of syntax to separate theory
2008-09-16 haftmann 2008-09-16 evaluation using code generator