src/HOL/ex/Codegenerator_Pretty.thy
2009-02-16 haftmann 2009-02-16 dropped Id
2008-10-22 haftmann 2008-10-22 code identifier namings are no longer imperative
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-09-23 haftmann 2008-09-23 renamed rtype to typerep
2008-09-16 haftmann 2008-09-16 a sophisticated char/nibble conversion combinator
2008-09-16 haftmann 2008-09-16 evaluation using code generator
2008-03-28 haftmann 2008-03-28 dropped now superfluous ad-hoc adaption
2008-03-27 haftmann 2008-03-27 circumventing merge problem
2008-01-31 haftmann 2008-01-31 temporary adjustions
2008-01-25 haftmann 2008-01-25 distinguished examples for Efficient_Nat.thy
2008-01-21 haftmann 2008-01-21 proper meaningful examples
2007-12-13 haftmann 2007-12-13 added div/mod examples
2007-09-06 berghofe 2007-09-06 Integrated Executable_Rat and Executable_Real theories into Rational and RealDef theories.
2007-08-20 haftmann 2007-08-20 renamed code_gen to export_code
2007-08-13 haftmann 2007-08-13 renamed keyword "to" to "module_name"
2007-08-09 haftmann 2007-08-09 tuned