src/HOL/Nat.thy
changeset 67332 cb96edae56ef
parent 67091 1393c2340eec
child 67399 eab6ce8368fa
     1.1 --- a/src/HOL/Nat.thy	Tue Jan 02 23:04:15 2018 +0100
     1.2 +++ b/src/HOL/Nat.thy	Wed Jan 03 11:06:13 2018 +0100
     1.3 @@ -2456,6 +2456,8 @@
     1.4  
     1.5  end
     1.6  
     1.7 +lemmas size_nat = size_nat_def
     1.8 +
     1.9  
    1.10  subsection \<open>Code module namespace\<close>
    1.11