--- a/src/HOL/Isar_Examples/Group.thy Tue Feb 23 15:37:18 2016 +0100 +++ b/src/HOL/Isar_Examples/Group.thy Tue Feb 23 16:25:08 2016 +0100 @@ -254,4 +254,4 @@ finally show ?thesis . qed -end \ No newline at end of file +end