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

Tuned comments

This commit is contained in:
Makarius Wenzel 2022-12-04 16:38:56 +01:00
parent a4e75c8b12
commit b8a9ef5118
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/DOF/Isa_DOF.thy
View File

@ -2880,7 +2880,7 @@ val _ = Outer_Syntax.command \<^command_keyword>\<open>define_macro*\<close> "d
\<close>
section \<open>Document templates\<close>
section \<open>Document context: template and ontology\<close>
ML \<open>
signature DOCUMENT_CONTEXT =