diff --git a/ROOT b/ROOT
index a425def..805fea9 100644
--- a/ROOT
+++ b/ROOT
@@ -1,8 +1,12 @@
-session "Isabelle_DOF" = HOL + 
+session "Isabelle_DOF" = Main + 
   theories [document = false]
     (* Foo *)
     (* Bar *)
   theories
     Isa_DOF
+    "ontologies/CENELEC_50126"
+    "ontologies/conceptual"
+    "ontologies/scholarly_paper"
+    "ontologies/mathex_onto"
 
 
diff --git a/ontologies/Conceptual.thy b/ontologies/Conceptual.thy
index dfcb928..6a97aee 100644
--- a/ontologies/Conceptual.thy
+++ b/ontologies/Conceptual.thy
@@ -1,7 +1,7 @@
-theory Conceptual
-  imports "../Isa_Dof"
+theory conceptual
+  imports "../Isa_DOF"
 begin
-  
+
 doc_class A =
    x :: "string"  
 
diff --git a/ontologies/mathex_onto.thy b/ontologies/mathex_onto.thy
index 5a9e85e..db35095 100644
--- a/ontologies/mathex_onto.thy
+++ b/ontologies/mathex_onto.thy
@@ -1,6 +1,5 @@
 theory mathex_onto
- 
-imports "../Isa_DOF"
+ imports "../Isa_DOF"
 begin
 
 doc_class Author =