thys2/SizeBound6CT.thy
changeset 456 26a5e640cdd7
parent 442 09a57446696a