From 77e349047798cb68eccc537bede3273e3131abe3 Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolff@lri.fr>
Date: Wed, 9 Sep 2020 16:56:19 +0200
Subject: [PATCH] ...

---
 src/ontologies/technical_report/technical_report.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ontologies/technical_report/technical_report.thy b/src/ontologies/technical_report/technical_report.thy
index a1d1c23..014235b 100755
--- 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 *)