thys2/SizeBoundStrong.thy
changeset 622 4b1149fb5aec
parent 494 c730d018ebfa