src/HOL/Numeral.thy
changeset 13611 2edf034c902a
parent 13490 44bdc150211b
child 14288 d149e3cbdb39