src/HOL/ROOT

--- a/src/HOL/ROOT	Sat Jun 13 13:09:05 2015 +0200
+++ b/src/HOL/ROOT	Sat Jun 13 13:18:37 2015 +0200
@@ -623,6 +623,7 @@
     Peirce
     Puzzle
     Summation
+    Structured_Statements
   document_files
     "root.bib"
     "root.tex"