src/HOL/Library/SCT_Implementation.thy
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-20 haftmann 2007-08-20 renamed code_gen to export_code
2007-07-19 haftmann 2007-07-19 uniform naming conventions for CG theories
2007-06-19 krauss 2007-06-19 generalized proofs so that call graphs can have any node type.
2007-06-14 wenzelm 2007-06-14 tuned proofs;
2007-06-13 wenzelm 2007-06-13 tuned comments;
2007-05-06 haftmann 2007-05-06 changed code generator invocation syntax
2007-04-20 haftmann 2007-04-20 Isar definitions are now added explicitly to code theorem table
2007-04-13 wenzelm 2007-04-13 tuned document (headers, sections, spacing);
2007-02-28 krauss 2007-02-28 added headers
2007-02-26 krauss 2007-02-26 Added formalization of size-change principle (experimental).