src/HOL/Code_Evaluation.thy
2009-12-07 haftmann 2009-12-07 split off evaluation mechanisms in separte module Code_Eval
2009-11-12 haftmann 2009-11-12 repaired broken code_const for term_of [String.literal]
2009-11-10 wenzelm 2009-11-10 modernized structure Theory_Target;
2009-11-06 bulwahn 2009-11-06 adding tracing function for evaluated code; annotated compilation in the predicate compiler
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-23 haftmann 2009-09-23 Code_Eval(uation)