From df0f45815f6af6c0d5d87165728b30fc89231dcd Mon Sep 17 00:00:00 2001
From: bu <wolff@lri.fr>
Date: Thu, 11 Oct 2018 14:57:44 +0200
Subject: [PATCH] and

---
 ontologies/scholarly_paper.thy | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/ontologies/scholarly_paper.thy b/ontologies/scholarly_paper.thy
index aaaa3810..08b6bb11 100644
--- a/ontologies/scholarly_paper.thy
+++ b/ontologies/scholarly_paper.thy
@@ -77,10 +77,6 @@ text{* @{cite bla} *}
 doc_class article = 
    style_id :: string                <= "''LNCS''"
    version  :: "(int \<times> int \<times> int)"  <= "(0,0,0)"
-(*   trace    :: "(title + subtitle + author+ abstract +
-                introduction + technical + example +
-                conclusion + bibliography) list"
- *)
    where "(title       ~~ 
            \<lbrakk>subtitle\<rbrakk>   ~~
            \<lbrace>author\<rbrace>\<^sup>+    ~~