src/HOL/ex/Eval_Examples.thy
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-16 haftmann 2007-08-16 added evaluation examples
2007-08-15 haftmann 2007-08-15 updated code generator setup
2007-06-05 wenzelm 2007-06-05 renamed ex/Eval_Examples.thy;