thys2/SizeBound6CT.thy
changeset 545 333013923c5a
parent 442 09a57446696a