src/HOL/Library/Eval_Witness.thy
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