src/HOL/Tools/code_evaluation.ML
2010-11-26 haftmann 2010-11-26 keep type variable arguments of datatype constructors in bookkeeping
2010-09-20 haftmann 2010-09-20 dynamic_eval_conv static_eval_conv: certification of previously unreliably reconstructed evaluated term
2010-09-20 haftmann 2010-09-20 full palette of dynamic/static value(_strict/exn)
2010-09-20 haftmann 2010-09-20 Factored out ML into separate file