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