thys2/SizeBoundStrong.thy
changeset 464 e6248d2c20c2
parent 444 a7e98deebb5c
child 492 61eff2abb0b6
equal deleted inserted replaced
463:421397f267b9 464:e6248d2c20c2