src/HOL/Nat_Numeral.thy
changeset 31488 5691ccb8d6b5
parent 31182 7ac0a57a57ed
child 31790 05c92381363c