--- a/src/HOL/ATP.thy Fri Aug 04 18:03:50 2017 +0200
+++ b/src/HOL/ATP.thy Mon Aug 07 15:10:37 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>