| changeset 63531 | 847eefdca90d |
| parent 63138 | 70f4d67235a0 |
| child 63669 | 256fc20716f2 |
--- 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>