src/HOL/Library/Numeral_Type.thy
changeset 29847 af32126ee729
parent 29629 5111ce425e7a
child 29997 f6756c097c2d
child 30240 5b25fee0362c