thys2/SizeBound6CT.thy
changeset 534 d4359c94bead
parent 442 09a57446696a