src/HOL/Library/Numeral_Type.thy
changeset 31563 ded2364d14d4
parent 31080 21ffc770ebc0
child 33035 15eab423e573