diff --git a/examples/technical_report/IsaDof_Manual/06_Conclusion.thy b/examples/technical_report/IsaDof_Manual/06_Conclusion.thy
index 0aae408..06a22a4 100644
--- a/examples/technical_report/IsaDof_Manual/06_Conclusion.thy
+++ b/examples/technical_report/IsaDof_Manual/06_Conclusion.thy
@@ -51,13 +51,6 @@ text\<open> \isadof in its present form has a number of technical short-comings
   to control read- and write accesses of \<^emph>\<open>parts\<close> of documents.
 \<close>
 
-paragraph\<open> Availability. \<close> 
-text\<open> The implementation of the framework, the discussed ontology definitions, 
-      and examples  are available at  \url{https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF/}.\<close>
-paragraph\<open> Acknowledgement. \<close> 
-text\<open> This work was partly supported by  the framework of IRT SystemX, Paris-Saclay, France, 
-and therefore granted with public funds within the scope of the Program ``Investissements d’Avenir''.\<close>
-
 (*<*) 
 end
 (*>*)