thys2/SizeBound4CT.thy
changeset 436 222333d2bdc2
parent 409 f71df68776bb