src/HOL/SizeChange/Examples.thy
changeset 27123 11fcdd5897dd
parent 26875 e18574413bc4