tuned heading
authorhaftmann
Tue Feb 26 20:38:14 2008 +0100 (2008-02-26)
changeset 261496094349a4de9
parent 26148 cbe6f8af8db2
child 26150 f6bd8686b71e
tuned heading
src/HOL/Nat.thy
     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