diff --git a/thys/WHATandWHERE_Security/ROOT b/thys/WHATandWHERE_Security/ROOT
--- a/thys/WHATandWHERE_Security/ROOT
+++ b/thys/WHATandWHERE_Security/ROOT
@@ -1,26 +1,30 @@
 chapter AFP
 
 session WHATandWHERE_Security (AFP) = HOL +
   description "
     An Isabelle/HOL formalization of declassification with WHATandWHERE-Security
 
     Author: Sylvia Grewe, TU Darmstadt
     Author: Alexander Lux, TU Darmstadt
     Author: Heiko Mantel, TU Darmstadt
     Author: Jens Sauer, TU Darmstadt
   "
   options [timeout = 600]
   sessions
     Strong_Security
   theories 
     Language_Composition 
     MWLs 
     Parallel_Composition 
     WHATWHERE_Secure_Skip_Assign 
     WHATWHERE_Security  
     Type_System 
     Type_System_example 
     Up_To_Technique
+  document_theories
+    Strong_Security.Types
+    Strong_Security.Expr
+    Strong_Security.Domain_example
   document_files
     "root.bib"
     "root.tex"