Added some elements in the TR onto:

- optional TOC's
- front-matter

ontologies/scholarly_paper.thy

@@ -13,8 +13,9 @@ doc_class subtitle =
 -- \<open>adding a contribution list and checking that it is cited as well in tech as in conclusion. ? \<close>
 
 doc_class author =
-   email       :: "string"
+   email       :: "string" <= "''''"
-   orcid       :: "string"
+   http_site   :: "string" <= "''''"
+   orcid       :: "string" <= "''''"
    affiliation :: "string"
 
 doc_class abstract =

ontologies/technical_report.thy

@@ -4,8 +4,11 @@ theory technical_report
    imports "scholarly_paper"
 begin
 
-doc_class table_of_content =
+doc_class table_of_contents =
-   level       :: int <= 3
+   depth       :: int <= 3
+
+doc_class front_matter = 
+   style :: string 
 
 doc_class "chapter" = text_section +
    style :: string 
@@ -16,11 +19,13 @@ doc_class report =
    accepts "(title       ~~ 
            \<lbrakk>subtitle\<rbrakk>   ~~
            \<lbrace>author\<rbrace>\<^sup>+   ~~ 
+           \<lbrakk>front_matter\<rbrakk>  ~~
            abstract     ~~
-           chapter      ~~
+           \<lbrakk>table_of_contents\<rbrakk>  ~~
            introduction ~~ 
            \<lbrace>technical || example\<rbrace>\<^sup>+ ~~ 
            conclusion   ~~  
+           \<lbrakk>table_of_contents\<rbrakk>  ~~
            bibliography)"
 
 end