
diff -r 150d40a25622 -r df79ef3b3a41 src/HOL/Number_Theory/Prime_Powers.thy
--- a/src/HOL/Number_Theory/Prime_Powers.thy	Fri Jan 05 15:24:57 2018 +0100
+++ b/src/HOL/Number_Theory/Prime_Powers.thy	Fri Jan 05 18:41:42 2018 +0100
@@ -510,4 +510,4 @@
   finally show ?thesis .
 qed (insert assms, auto simp: mangoldt_def)
 
-end
\ No newline at end of file
+end




