forked from Isabelle_DOF/Isabelle_DOF
Removed availability information.
This commit is contained in:
parent
432d2f0ba3
commit
c5a6d686c8
|
@ -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.
|
to control read- and write accesses of \<^emph>\<open>parts\<close> of documents.
|
||||||
\<close>
|
\<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
|
end
|
||||||
(*>*)
|
(*>*)
|
||||||
|
|
Reference in New Issue