thys2/SizeBound6CT.thy
changeset 641 cf7a5c863831
parent 442 09a57446696a