fix typo
authorhuffman
Tue Mar 04 16:16:05 2014 -0800 (2014-03-04)
changeset 55912e12a0ab9917c
parent 55911 d00023bd3554
child 55913 c1409c103b77
fix typo
src/HOL/Rings.thy
     1.1 --- a/src/HOL/Rings.thy	Tue Mar 04 15:26:12 2014 -0800
     1.2 +++ b/src/HOL/Rings.thy	Tue Mar 04 16:16:05 2014 -0800
     1.3 @@ -1066,7 +1066,7 @@
     1.4    "\<bar>l\<bar> = \<bar>k\<bar> \<Longrightarrow> l dvd k"
     1.5  by(subst abs_dvd_iff[symmetric]) simp
     1.6  
     1.7 -text {* The following lemmas can be proven in more generale structures, but
     1.8 +text {* The following lemmas can be proven in more general structures, but
     1.9  are dangerous as simp rules in absence of @{thm neg_equal_zero}, 
    1.10  @{thm neg_less_pos}, @{thm neg_less_eq_nonneg}. *}
    1.11