--- 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>