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