Use DOF-CC_terminology.sty.
This commit is contained in:
parent
486ae2db97
commit
4cdb6d725b
|
@ -20,6 +20,9 @@ imports
|
||||||
"Isabelle_DOF.technical_report"
|
"Isabelle_DOF.technical_report"
|
||||||
|
|
||||||
begin
|
begin
|
||||||
|
|
||||||
|
define_ontology "DOF-CC_terminology.sty" "CC"
|
||||||
|
|
||||||
(*>>*)
|
(*>>*)
|
||||||
text\<open>We re-use the class @\<open>typ math_content\<close>, which provides also a framework for
|
text\<open>We re-use the class @\<open>typ math_content\<close>, which provides also a framework for
|
||||||
semi-formal terminology, which we re-use by this definition.\<close>
|
semi-formal terminology, which we re-use by this definition.\<close>
|
||||||
|
|
|
@ -3,10 +3,12 @@ theory "document_setup"
|
||||||
imports
|
imports
|
||||||
"Isabelle_DOF.technical_report"
|
"Isabelle_DOF.technical_report"
|
||||||
"Isabelle_DOF-Ontologies.CENELEC_50128"
|
"Isabelle_DOF-Ontologies.CENELEC_50128"
|
||||||
|
"Isabelle_DOF-Ontologies.CC_terminology"
|
||||||
begin
|
begin
|
||||||
|
|
||||||
use_template "scrreprt-modern"
|
use_template "scrreprt-modern"
|
||||||
use_ontology "Isabelle_DOF.technical_report" and "Isabelle_DOF-Ontologies.CENELEC_50128"
|
use_ontology "Isabelle_DOF.technical_report" and "Isabelle_DOF-Ontologies.CENELEC_50128"
|
||||||
|
and "Isabelle_DOF-Ontologies.CC_terminology"
|
||||||
|
|
||||||
(*>*)
|
(*>*)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue