--- a/src/Doc/Isar_Ref/Proof_Script.thy Wed Jul 20 20:24:21 2016 +0200
+++ b/src/Doc/Isar_Ref/Proof_Script.thy Wed Jul 20 21:26:11 2016 +0200
@@ -1,7 +1,7 @@
(*:maxLineLen=78:*)
theory Proof_Script
-imports Base Main
+ imports Main Base
begin
chapter \<open>Proof scripts\<close>