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

deactivated CENELEC in tests (nothing tested, just time consumed)

This commit is contained in:
Burkhart Wolff 2023-03-26 20:56:54 +02:00
parent 5d89bcc86a
commit 4ba0c705b4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Isabelle_DOF-Unit-Tests/Isabelle_DOF-Unit-Tests_document.thy
View File

@ -14,12 +14,12 @@
theory "Isabelle_DOF-Unit-Tests_document"
imports
"Isabelle_DOF.technical_report"
"Isabelle_DOF-Ontologies.CENELEC_50128"
(* "Isabelle_DOF-Ontologies.CENELEC_50128" where do we use this - bu *)
begin
use_template "scrreprt-modern"
use_ontology "technical_report" and "Isabelle_DOF-Ontologies.CENELEC_50128"
use_ontology "technical_report" (* and "Isabelle_DOF-Ontologies.CENELEC_50128" *)
(*>*)
title*[title::title] \<open>The Isabelle/DOF Implementation\<close>