src/HOL/Nat.thy
changeset 26149 6094349a4de9
parent 26143 314c0bcb7df7
child 26300 03def556e26e
     1.1 --- a/src/HOL/Nat.thy	Tue Feb 26 20:38:13 2008 +0100
     1.2 +++ b/src/HOL/Nat.thy	Tue Feb 26 20:38:14 2008 +0100
     1.3 @@ -1149,7 +1149,7 @@
     1.4    by (auto simp add: expand_fun_eq)
     1.5  
     1.6  
     1.7 -subsection {*The Set of Natural Numbers*}
     1.8 +subsection {* The Set of Natural Numbers *}
     1.9  
    1.10  context semiring_1
    1.11  begin