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

...

This commit is contained in:
Burkhart Wolff 2024-04-16 11:11:04 +02:00
parent 734c1953bd
commit 231892cd23
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Isabelle_DOF/thys/manual/M_04_Document_Ontology.thy
View File

@ -45,9 +45,6 @@ in end
doc_class "title" = short_title :: "string option" <= "None"
(*doc_class '\<alpha> affiliation =
journal_style :: '\<alpha>
*)
doc_class elsevier =
organization :: string