From 4c7a8ed91ae924b367773734af550a9b38a0b61a Mon Sep 17 00:00:00 2001
From: bu <wolff@lri.fr>
Date: Mon, 9 Apr 2018 11:54:54 +0200
Subject: [PATCH] kleinkram

---
 examples/simple/Article.thy | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/examples/simple/Article.thy b/examples/simple/Article.thy
index df9c01e1..51aec7c0 100644
--- a/examples/simple/Article.thy
+++ b/examples/simple/Article.thy
@@ -40,9 +40,8 @@ text{* As mentioned in @{introduction \<open>intro\<close>} ... *}
 @{thms ''[refl,sym]''}
 *)    
     
-
 update_instance*[bgrnd, main_author = "Some(''bu'')", formula="@{term ''a + b = b + a''}"] 
-  
+
 section*[ontomod::technical]{* Modeling Ontologies in Isabelle_DOF *} 
 text{* Lorem ipsum dolor sit amet, suspendisse non arcu malesuada mollis, nibh morbi,*}