pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Upated title.

This commit is contained in:
Achim D. Brucker 2018-11-27 14:18:54 +00:00
parent 35c5aef204
commit 0b79c21d23
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/technical_report/IsaDof_Manual/IsaDofManual.thy
View File

@ -6,8 +6,7 @@ begin
open_monitor*[this::article]
(*>*)
title*[tit::title]\<open>Using the Isabelle Ontology Framework\<close>
subtitle*[stit::subtitle]\<open>Linking the Formal with the Informal\<close>
title*[tit::title]\<open>The \isadof User and Implementation Manual\<close>
text*[adb:: author,
email="''a.brucker@sheffield.ac.uk''",
orcid="''0000-0002-6355-1200''",