--- a/thys/ROOT	Wed May 16 20:58:39 2018 +0100
+++ b/thys/ROOT	Wed Aug 15 13:48:57 2018 +0100
@@ -1,13 +1,13 @@
 session "Lex" = HOL +
   theories [document = false]
         "Spec"
-	"SpecExt"
+	(*"SpecExt"*)
         "Lexer"
-        "LexerExt"
+        (*"LexerExt"*)
         "Simplifying"
         (*"Sulzmann"*) 
         "Positions"
-	"PositionsExt"
+	(*"PositionsExt"*)
         "Exercises"
 
 session Paper in "Paper" = Lex +