src/HOL/Library/Eval.thy
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-04-09 wenzelm 2008-04-09 avoid control symbols in document (\<^fixed>);
2008-04-09 haftmann 2008-04-09 rudimentary user-syntax for terms
2008-03-14 haftmann 2008-03-14 added combinator for interpretation of construction of datatype
2008-03-09 haftmann 2008-03-09 tuned
2008-02-27 haftmann 2008-02-27 added theory for reflected types
2008-02-04 haftmann 2008-02-04 suppport for messages and indices
2008-02-01 haftmann 2008-02-01 <TERM> syntax
2008-01-31 haftmann 2008-01-31 proper term_of functions
2008-01-29 haftmann 2008-01-29 cleaned up evaluation interfaces
2008-01-26 wenzelm 2008-01-26 avoid redundant escaping of Isabelle symbols;
2008-01-15 haftmann 2008-01-15 joined theories IntDef, Numeral, IntArith to theory Int
2008-01-08 haftmann 2008-01-08 explicit type variables for instantiation
2008-01-02 haftmann 2008-01-02 improved evaluation mechanism
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/