...

2020-09-09 16:56:19 +02:00 · 2020-09-09 16:56:19 +02:00 · 77e3490477
parent 41ac6006f8
commit 77e3490477
1 changed files with 1 additions and 1 deletions
--- a/src/ontologies/technical_report/technical_report.thy
+++ b/src/ontologies/technical_report/technical_report.thy
@ -15,7 +15,7 @@ section\<open>An example ontology for a scholarly paper\<close>

 theory technical_report
   imports "../scholarly_paper/scholarly_paper"
-begin
+begin              

 (* for reports paper: invariant: level \<ge> -1 *)