19 lines
388 B
Plaintext
19 lines
388 B
Plaintext
(*<*)
|
|
theory "document_setup"
|
|
imports
|
|
"Isabelle_DOF.technical_report"
|
|
begin
|
|
|
|
use_template "scrreprt-modern"
|
|
(* use_ontology "technical_report" *)
|
|
use_ontology_unchecked "Isabelle_DOF.technical_report" and "Isabelle_DOF-Ontologies.CENELEC_50128"
|
|
|
|
(*>*)
|
|
|
|
title*[title::title] \<open>Isabelle/DOF\<close>
|
|
subtitle*[subtitle::subtitle]\<open>Ontologies\<close>
|
|
|
|
(*<*)
|
|
end
|
|
(*>*)
|