thys2/SizeBound6CT.thy
changeset 646 56057198e4f5
parent 442 09a57446696a