src/HOL/Library/Eval.thy
2007-12-18 haftmann 2007-12-18 switched from PreList to ATP_Linkup
2007-12-17 haftmann 2007-12-17 improved term syntax
2007-12-11 haftmann 2007-12-11 dropped Class.prep_spec
2007-12-10 haftmann 2007-12-10 switched import from Main to PreList
2007-12-07 haftmann 2007-12-07 dropped Instance.instantiate
2007-12-06 haftmann 2007-12-06 authentic primrec
2007-12-06 haftmann 2007-12-06 added new primrec package
2007-12-05 haftmann 2007-12-05 improved
2007-11-29 haftmann 2007-11-29 instance command as rudimentary class target
2007-10-12 haftmann 2007-10-12 consolidated naming conventions for code generator theories
2007-10-09 wenzelm 2007-10-09 generic Syntax.pretty/string_of operations;
2007-10-08 haftmann 2007-10-08 simplified evaluation
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-10-04 haftmann 2007-10-04 clarified relationship of code generator conversions and evaluations
2007-09-20 haftmann 2007-09-20 more permissive
2007-09-18 haftmann 2007-09-18 introduced generic concepts for theory interpretators
2007-09-18 haftmann 2007-09-18 clarified evaluation code
2007-09-15 haftmann 2007-09-15 multi-functional value keyword
2007-09-01 wenzelm 2007-09-01 replaced ProofContext.read_term/prop by general Syntax.read_term/prop;
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-21 haftmann 2007-08-21 improved evaluation interface
2007-08-15 haftmann 2007-08-15 updated code generator setup
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-05-30 haftmann 2007-05-30 fixed typo
2007-05-21 haftmann 2007-05-21 evaluation for integers
2007-05-19 haftmann 2007-05-19 typ_of instance for int
2007-05-06 haftmann 2007-05-06 changed code generator invocation syntax
2007-04-26 haftmann 2007-04-26 tuned
2007-04-13 wenzelm 2007-04-13 tuned document (headers, sections, spacing);
2007-03-27 haftmann 2007-03-27 fixed document preparation
2007-03-26 haftmann 2007-03-26 cleaned up Library/ and ex/