diff -r d36be1e356c0 -r fff2e1b40dfc thys/ROOT
--- a/thys/ROOT	Tue Jul 18 18:39:20 2017 +0100
+++ b/thys/ROOT	Wed Jul 19 14:55:46 2017 +0100
@@ -1,7 +1,8 @@
 session "Lex" = HOL +
   theories [document = false]
-	"Lexer"
-        "LexerExt" 
+        "Spec"
+        "Lexer"
+        "LexerExt"
         "Simplifying"
         (*"Sulzmann"*) 
         "Positions"