src/Doc/Codegen/Further.thy
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;