src/HOL/Library/SCT_Definition.thy
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).