src/HOL/Word/Misc_Numeric.thy
changeset 66787 64b47495676d
parent 65363 5eb619751b14
child 67160 f37bf261bdf6