From eaef236dccb35574315008308a34986003add7c9 Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolff@lri.fr>
Date: Sun, 30 Jan 2022 14:48:54 +0100
Subject: [PATCH] added category 'background' into scholarly paper

---
 src/ontologies/scholarly_paper/scholarly_paper.thy | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/ontologies/scholarly_paper/scholarly_paper.thy b/src/ontologies/scholarly_paper/scholarly_paper.thy
index de669b43..b542d79d 100755
--- a/src/ontologies/scholarly_paper/scholarly_paper.thy
+++ b/src/ontologies/scholarly_paper/scholarly_paper.thy
@@ -122,6 +122,11 @@ As Security of the system we define etc...
 A formal statement can, but must not have a reference to true formal Isabelle/Isar definition. 
 \<close>
 
+doc_class background = text_section +
+   comment :: string
+   claims  :: "thm list"
+
+
 subsection\<open>Technical Content and its Formats\<close>
 
 datatype status = formal | semiformal | description
@@ -466,6 +471,7 @@ doc_class article =
             \<lbrace>author\<rbrace>\<^sup>+         ~~ 
             abstract          ~~
             \<lbrace>introduction\<rbrace>\<^sup>+   ~~ 
+            \<lbrace>background\<rbrace>\<^sup>*     ~~ 
             \<lbrace>technical || example \<rbrace>\<^sup>+      ~~
             \<lbrace>conclusion\<rbrace>\<^sup>+     ~~  
             bibliography      ~~