thys2/SizeBound4CT.thy
changeset 482 4bf2367e6e53
parent 409 f71df68776bb