thys2/SizeBound.thy
changeset 511 47618d607bbf
parent 385 c80720289645