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