From 29661f6734d1bd62b0830e8c89087cd958a11752 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 10 Feb 2021 09:05:59 +0000
Subject: [PATCH] Revised Sec. 4.2.

---
 examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy b/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
index 0f5f08c..4bf2190 100755
--- a/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
@@ -440,8 +440,7 @@ ML\<open>writeln (DOF_core.print_doc_class_tree @{context} (fn (n,l) => String.i
 text\<open> 
  \<^isadof> provides a Common Ontology Library (COL)\<^index>\<open>Common Ontology Library@see COL\<close>
  \<^bindex>\<open>COL\<close> \<^footnote>\<open>contained in \<^theory>\<open>Isabelle_DOF.Isa_COL\<close>\<close>
- that introduces several ontology root concepts such as common text-elements and 
- figures. The overall class-tree it provides looks as follows:
+ that introduces several ontology concepts; its  overall class-tree it provides looks as follows:
 %
 \begin{center}
 \begin{minipage}{.9\textwidth}