--- a/thys/ROOT	Sun Oct 08 14:21:24 2017 +0100
+++ b/thys/ROOT	Tue Oct 10 10:40:44 2017 +0100
@@ -1,11 +1,13 @@
 session "Lex" = HOL +
   theories [document = false]
         "Spec"
+	"SpecExt"
         "Lexer"
         "LexerExt"
         "Simplifying"
         (*"Sulzmann"*) 
         "Positions"
+	"PositionsExt"
         "Exercises"
 
 session Paper in "Paper" = Lex +