src/HOL/ex/Codegenerator.thy
2006-10-10 haftmann 2006-10-10 stripped pointless head
2006-10-10 haftmann 2006-10-10 changed order
2006-10-01 wenzelm 2006-10-01 tuned;
2006-09-26 haftmann 2006-09-26 renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
2006-09-25 haftmann 2006-09-25 added examples for variable name handling
2006-09-19 haftmann 2006-09-19 code generation 2 adjustments
2006-09-01 haftmann 2006-09-01 final syntax for some Isar code generator keywords
2006-08-14 haftmann 2006-08-14 adaptions to improvements
2006-08-08 haftmann 2006-08-08 added more examples
2006-07-23 haftmann 2006-07-23 small adjustments
2006-06-14 haftmann 2006-06-14 slight adaptions
2006-06-07 haftmann 2006-06-07 slight code generator cleanup
2006-06-06 haftmann 2006-06-06 small fix
2006-05-09 haftmann 2006-05-09 removed 1::int
2006-03-17 haftmann 2006-03-17 added example for operational classes and code generator