src/HOL/Library/SCT_Theorem.thy
2007-06-11 chaieb 2007-06-11 tuned Proof
2007-05-19 nipkow 2007-05-19 Had to replace "case 1/2" by "case base/step". No idea why.
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).