| changeset 62347 | 2230b7047376 |
| parent 61944 | 5d06ecfdb472 |
| child 62348 | 9a5f43dac883 |
--- a/src/HOL/Groups.thy Wed Feb 17 21:51:56 2016 +0100 +++ b/src/HOL/Groups.thy Wed Feb 17 21:51:57 2016 +0100 @@ -1382,7 +1382,6 @@ lemmas ab_left_minus = left_minus \<comment> \<open>FIXME duplicate\<close> lemmas diff_diff_eq = diff_diff_add \<comment> \<open>FIXME duplicate\<close> - subsection \<open>Tools setup\<close> lemma add_mono_thms_linordered_semiring: