thys2/SizeBound4CT.thy
changeset 546 6e97f4aa7cd0
parent 409 f71df68776bb