thys2/SizeBound6CT.thy
changeset 471 23818853a710
parent 442 09a57446696a