src/HOL/SizeChange/Misc_Tools.thy
changeset 30929 d9343c0aac11
parent 25314 5eaf3e8b50a4