
diff -r 97f2ed240431 -r 2230b7047376 src/HOL/Groups.thy
--- 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:




