no message

examples/simple/IdirExample.thy

@@ -1,9 +0,0 @@
-theory IdirExample
-  imports  "../../ontologies/ScientificPaperOnto"
-
-begin
-
-text*[p1::Paragraph] {* ceci est un paragraphe *}
-text*[abs::Abstract, content = p1]{* *}
-
-end

ontologies/ScientificPaperOnto.thy

@@ -1,26 +0,0 @@
-theory ScientificPaperOnto
-  imports "../Isa_DOF"
-
-begin
-
-doc_class Paragraph = 
-    content :: "string list" 
-
-doc_class Abstract =
-     content ::  Paragraph 
-
-doc_class SubSection =
-    id :: integer
-    content :: "Paragraph list"
-
-doc_class Section =
-    id :: integer
-    content :: "Paragraph list"
-    itsSubSection :: "SubSection list"
-
-doc_class Article = 
-    content :: "(Abstract + Section) list"
-    where
-    "(Abstract.
-      Section*)"
-end

ontologies/mathex_onto.thy

@@ -0,0 +1,6 @@
+theory mathex_onto
+ 
+imports "../Isa_DOF"
+begin
+
+end