Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

- deleted rubbish.

This commit is contained in:
Burkhart Wolff 2019-01-07 21:12:01 +01:00
parent 7f0ec5e2bc
commit dcd1a159c5
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
View File

@ -45,9 +45,6 @@ for enforcing a certain document structure, and discuss ontology-specific IDE su
\<close>
section*[intro::introduction]\<open> Introduction \<close>
text\<open> drfgdfg\<close>
ML\<open>@{trace_attribute this}\<close>
print_doc_items
text*[introtext::introduction]\<open>
The linking of the \<^emph>\<open>formal\<close> to the \<^emph>\<open>informal\<close> is perhaps the
most pervasive challenge in the digitization of knowledge and its