src/HOL/Word/Size.thy
changeset 28263 69eaa97e7e96
parent 26560 d2fc9a18ee8a
child 29608 564ea783ace8