diff -r a73b2e553804 -r a5376206fd52 thys2/SizeBound6CT.thy