thys2/SizeBound4CT.thy
changeset 660 eddc4eaba7c4
parent 409 f71df68776bb