src/HOL/Code_Numeral.thy
changeset 51526 155263089e7b
parent 51375 d9e62d9c98de
child 52435 6646bb548c6b