# HG changeset patch
# User huffman
# Date 1393978565 28800
# Node ID e12a0ab9917cfd901ab720b1f593f630f729db66
# Parent  d00023bd3554044dc85dc5f9654d048153718515
fix typo

diff -r d00023bd3554 -r e12a0ab9917c src/HOL/Rings.thy
--- a/src/HOL/Rings.thy	Tue Mar 04 15:26:12 2014 -0800
+++ b/src/HOL/Rings.thy	Tue Mar 04 16:16:05 2014 -0800
@@ -1066,7 +1066,7 @@
   "\<bar>l\<bar> = \<bar>k\<bar> \<Longrightarrow> l dvd k"
 by(subst abs_dvd_iff[symmetric]) simp
 
-text {* The following lemmas can be proven in more generale structures, but
+text {* The following lemmas can be proven in more general structures, but
 are dangerous as simp rules in absence of @{thm neg_equal_zero}, 
 @{thm neg_less_pos}, @{thm neg_less_eq_nonneg}. *}