src/HOL/Code_Generator.thy
2007-04-20 haftmann 2007-04-20 Isar definitions are now added explicitly to code theorem table
2007-03-22 haftmann 2007-03-22 fixed code generator setup
2007-03-20 krauss 2007-03-20 simplified "eval" oracle method
2007-03-20 haftmann 2007-03-20 switched exception from arbitrary to undefined
2007-03-20 haftmann 2007-03-20 explizit "type" superclass
2007-03-09 haftmann 2007-03-09 dropped code datatype certificates
2007-03-02 haftmann 2007-03-02 syntax for "class attach const"
2007-01-19 wenzelm 2007-01-19 simplified ML setup;
2007-01-04 haftmann 2007-01-04 fixed eval oracle
2006-12-29 haftmann 2006-12-29 changed syntax for axclass attach
2006-12-27 haftmann 2006-12-27 moved code generator bool setup here
2006-12-18 haftmann 2006-12-18 new-style oracle setup
2006-11-29 wenzelm 2006-11-29 simplified method setup; tuned oracle setup;
2006-11-27 haftmann 2006-11-27 removed HOL structure
2006-11-22 haftmann 2006-11-22 dropped eq const
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-15 haftmann 2006-11-15 added evaluation oracle
2006-11-03 haftmann 2006-11-03 dropped equals_conv for nbe
2006-10-31 haftmann 2006-10-31 adaptions to changes in preprocessor
2006-10-20 haftmann 2006-10-20 added reserved words for Haskell
2006-10-20 haftmann 2006-10-20 added if_delayed
2006-10-16 haftmann 2006-10-16 moved HOL code generator setup to Code_Generator