--- a/thys/ROOT	Tue May 17 14:28:22 2016 +0100
+++ b/thys/ROOT	Wed May 18 15:57:46 2016 +0100
@@ -1,6 +1,6 @@
 session "Lex" = HOL +
   theories [document = false]
-	"ReStar" 
+	"Lexer" 
         "Simplifying"
         "Sulzmann"