src/HOL/Library/Numeral_Type.thy
changeset 53745 788730ab7da4
parent 52147 9943f8067f11
child 55142 378ae9e46175