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