src/HOL/Library/SCT_Misc.thy
2007-05-17 krauss 2007-05-17 moved lemmas to Nat.thy
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).