src/HOL/Library/SCT_Interpretation.thy
2007-04-13 wenzelm 2007-04-13 tuned document (headers, sections, spacing);
2007-03-21 krauss 2007-03-21 Unified function syntax
2007-02-28 krauss 2007-02-28 added headers
2007-02-26 krauss 2007-02-26 Added formalization of size-change principle (experimental).