diff -r 045490f55f69 -r 847eefdca90d src/Doc/Isar_Ref/Symbols.thy
--- a/src/Doc/Isar_Ref/Symbols.thy	Wed Jul 20 20:24:21 2016 +0200
+++ b/src/Doc/Isar_Ref/Symbols.thy	Wed Jul 20 21:26:11 2016 +0200
@@ -1,7 +1,7 @@
 (*:maxLineLen=78:*)
 
 theory Symbols
-imports Base Main
+  imports Main Base
 begin
 
 chapter \<open>Predefined Isabelle symbols \label{app:symbols}\<close>