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

Include CENELEC 50128 terminology.

This commit is contained in:
Achim D. Brucker 2023-05-15 14:28:56 +02:00
parent d225a3253c
commit 9064cd3f62
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/ROOT
View File

@ -4,7 +4,10 @@ session "mini_odo" = "Isabelle_DOF-Ontologies" +
"Physical_Quantities"
theories
"mini_odo"
document_theories
"Isabelle_DOF-Ontologies.CENELEC_50128"
document_files
"dof_session.tex"
"preamble.tex"
"root.bib"
"root.mst"

3
Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/dof_session.tex Normal file
View File

@ -0,0 +1,3 @@
\input{mini_odo}
\input{CENELEC_50128}