src/Doc/Codegen/Further.thy
2015-12-03 haftmann 2015-12-03 consolidated documentation
2015-11-14 haftmann 2015-11-14 prefer "rewrites" and "defines" to note rewrite morphisms
2015-11-14 haftmann 2015-11-14 coalesce permanent_interpretation.ML with interpretation.ML
2015-11-04 ballarin 2015-11-04 Keyword 'rewrites' identifies rewrite morphisms.
2015-01-15 haftmann 2015-01-15 separate image for prerequisites of codegen tutorial
2015-01-15 haftmann 2015-01-15 modernized cartouches
2014-11-14 haftmann 2014-11-14 documentation stubs about permanent_interpretation
2014-10-07 wenzelm 2014-10-07 more antiquotations;
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-02-26 haftmann 2014-02-26 prefer proof context over background theory
2014-02-09 haftmann 2014-02-09 dropped legacy finally
2013-07-15 wenzelm 2013-07-15 prefer @{file} references that are actually checked;
2013-06-15 haftmann 2013-06-15 documentation on code_printing and code_identifier
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2013-02-17 haftmann 2013-02-17 note on parallel computation
2012-10-08 haftmann 2012-10-08 consolidated names of theorems on composition; generalized former theorem UN_o; comp_assoc orients to the right, as is more common
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;