thys2/SizeBoundStrong.thy
changeset 530 823d9b19d21c
parent 494 c730d018ebfa