src/HOL/Nat_Numeral.thy
2009-04-15 haftmann 2009-04-15 theory NatBin now named Nat_Numeral