--- a/src/HOL/ATP.thy Mon Aug 07 11:21:07 2017 +0200
+++ b/src/HOL/ATP.thy Mon Aug 07 11:21:11 2017 +0200
@@ -6,7 +6,7 @@
section \<open>Automatic Theorem Provers (ATPs)\<close>
theory ATP
-imports Meson
+ imports Meson
begin
subsection \<open>ATP problems and proofs\<close>