From a9737762fd7db48176f58838a98b594a058b3183 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 19 Jan 2021 23:12:58 +0000
Subject: [PATCH] Fixed spacing in front of index entries..

---
 .../technical_report/Isabelle_DOF-Manual/02_Background.thy  | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/02_Background.thy b/examples/technical_report/Isabelle_DOF-Manual/02_Background.thy
index 9ef9592..0a0d9fc 100755
--- a/examples/technical_report/Isabelle_DOF-Manual/02_Background.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/02_Background.thy
@@ -56,9 +56,9 @@ support for higher specification constructs were built.\<close>
 section*[dof::introduction]\<open>The Document Model Required by \<^dof>\<close>
 text\<open>
   In this section, we explain the assumed document model underlying our Document Ontology Framework 
-  (\<^dof>) in general. In particular we discuss the concepts \<^emph>\<open>integrated document\<close>
-  \<^bindex>\<open>integrated document\<close>, \<^emph>\<open>sub-document\<close>, \<^bindex>\<open>sub-document\<close>,  
-  \<^emph>\<open>text-element\<close> \<^bindex>\<open>text-element\<close> and \<^emph>\<open>semantic macros\<close>  \<^bindex>\<open>semantic macros\<close> occurring 
+  (\<^dof>) in general. In particular we discuss the concepts 
+   \<^emph>\<open>integrated document\<close>\<^bindex>\<open>integrated document\<close>, \<^emph>\<open>sub-document\<close>\<^bindex>\<open>sub-document\<close>,  
+  \<^emph>\<open>text-element\<close>\<^bindex>\<open>text-element\<close>, and \<^emph>\<open>semantic macros\<close>\<^bindex>\<open>semantic macros\<close> occurring 
   inside text-elements. Furthermore, we assume two different levels of parsers 
   (for \<^emph>\<open>outer\<close> and \<^emph>\<open>inner syntax\<close>) where the inner-syntax is basically a typed \<open>\<lambda>\<close>-calculus 
   and some Higher-order Logic (HOL)\<^bindex>\<open>HOL\<close>.