src/HOL/Isar_Examples/Structured_Statements.thy

--- a/src/HOL/Isar_Examples/Structured_Statements.thy	Tue Aug 02 18:13:24 2016 +0200
+++ b/src/HOL/Isar_Examples/Structured_Statements.thy	Tue Aug 02 18:44:37 2016 +0200
@@ -5,7 +5,7 @@
 section \<open>Structured statements within Isar proofs\<close>
 
 theory Structured_Statements
-imports Main
+  imports Main
 begin
 
 subsection \<open>Introduction steps\<close>