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