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

workaround on local comment bug
Isabelle_DOF/Isabelle_DOF/Isabelle2019 There was a failure building this commit Details

This commit is contained in:
Burkhart Wolff 2019-06-20 19:53:59 +02:00
parent ef52ab7743
commit 6cc76c9d26
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ontologies/Conceptual.thy
View File

@ -54,11 +54,11 @@ ML\<open> Session.get_keywords(); (* this looks to be really session global. *)
ML\<open> Thy_Header.get_keywords @{theory};(* this looks to be really theory global. *) \<close>
*)
section* [ test :: A ] \<open> Test and Validation\<close>
section*[test::A]\<open>Test and Validation\<close>
text\<open>Defining some document elements to be referenced in later on in another theory: \<close>
text* [ sdf ] \<open> f @{thm refl}\<close>
text* [ sdfg ] \<open> fg @{thm refl}\<close>
text* [ xxxy ] \<open> dd @{docitem \<open>sdfg\<close>} @{thm refl}\<close>
text*[sdf]\<open> f @{thm refl}\<close>
text*[ sdfg] \<open> fg @{thm refl}\<close>
text*[ xxxy ] \<open> dd @{docitem \<open>sdfg\<close>} @{thm refl}\<close>
end