src/HOL/Code_Numeral.thy
changeset 37407 61dd8c145da7
parent 36176 3fe7e97ccca8
child 37947 844977c7abeb