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




