thys2/SizeBound5CT.thy
changeset 540 3a1fd5ea2484
parent 430 579caa608a15