From c5a6d686c87f9dba47462a678892f7f90be4abe6 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 21 Jul 2019 16:14:32 +0100 Subject: [PATCH] Removed availability information. --- examples/technical_report/IsaDof_Manual/06_Conclusion.thy | 7 ------- 1 file changed, 7 deletions(-) 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\ \isadof in its present form has a number of technical short-comings to control read- and write accesses of \<^emph>\parts\ of documents. \ -paragraph\ Availability. \ -text\ The implementation of the framework, the discussed ontology definitions, - and examples are available at \url{https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF/}.\ -paragraph\ Acknowledgement. \ -text\ 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''.\ - (*<*) end (*>*)