src/HOL/Library/Eval_Witness.thy
2012-04-12 wenzelm 2012-04-12 more standard method setup;
2011-01-08 wenzelm 2011-01-08 misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
2010-11-03 wenzelm 2010-11-03 replaced ancient sys_error by raise Fail, assuming that the latter is not handled specifically by the environment;
2010-09-16 haftmann 2010-09-16 adjusted to changes in Code_Runtime
2010-09-15 haftmann 2010-09-15 Code_Runtime.value, corresponding to ML_Context.value
2010-09-15 haftmann 2010-09-15 code_eval renamed to code_runtime
2010-09-15 haftmann 2010-09-15 replaced ML_Context.evaluate by ML_Context.value -- using context data instead of bare metal references; tuned structures
2010-08-19 haftmann 2010-08-19 tuned quotes
2010-08-19 haftmann 2010-08-19 use antiquotations for remaining unqualified constants in HOL
2009-12-07 haftmann 2009-12-07 split off evaluation mechanisms in separte module Code_Eval
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-04-24 haftmann 2009-04-24 generic postprocessing scheme for term evaluations
2009-04-17 haftmann 2009-04-17 re-engineering of evaluation conversions
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2009-03-16 wenzelm 2009-03-16 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-01-21 haftmann 2009-01-21 no base sort in class import
2008-09-18 wenzelm 2008-09-18 simplified oracle interface;
2008-08-28 haftmann 2008-08-28 restructured and split code serializer module
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-02-22 haftmann 2008-02-22 non-operative code antiquotation
2007-12-10 haftmann 2007-12-10 switched import from Main to List
2007-10-04 haftmann 2007-10-04 clarified relationship of code generator conversions and evaluations
2007-08-15 haftmann 2007-08-15 added Eval_Witness theory