thys2/SizeBound2.thy
changeset 526 cb702fb4227f
parent 393 3954579ebdaf