--- a/src/HOL/Isar_Examples/Basic_Logic.thy Tue Aug 02 18:45:34 2016 +0200
+++ b/src/HOL/Isar_Examples/Basic_Logic.thy Tue Aug 02 18:46:24 2016 +0200
@@ -7,7 +7,7 @@
section \<open>Basic logical reasoning\<close>
theory Basic_Logic
-imports Main
+ imports Main
begin