--- a/thys/ROOT	Fri Mar 11 21:21:09 2016 +0000
+++ b/thys/ROOT	Sun Mar 13 01:07:34 2016 +0000
@@ -1,6 +1,8 @@
 session "Lex" = HOL +
-  theories [document = false, quick_and_dirty]
+  theories [document = false]
 	"ReStar" 
+        "Sulzmann" 
+
 
 session Paper in "Paper" = Lex +
   options [document = pdf, document_output = "..", document_variants="paper"]