src/HOL/SizeChange/Misc_Tools.thy
2007-11-06 krauss 2007-11-06 moved stuff about size change termination to its own session