14 lines
216 B
Plaintext
14 lines
216 B
Plaintext
|
theory
|
||
|
|
"template-scrreprt"
|
||
|
|
imports
|
||
|
|
"Isabelle_DOF-Ontologies.document_templates"
|
||
|
|
Isabelle_DOF.technical_report
|
||
|
|
begin
|
||
|
|
|
||
|
|
list_templates
|
||
|
|
use_template "scrreprt"
|
||
|
|
list_ontologies
|
||
|
|
use_ontology "technical_report"
|
||
|
|
|
||
|
|
end
|