thys2/SizeBound4CT.thy
changeset 448 3bc0f0069d06
parent 409 f71df68776bb