--- a/thys/ROOT Tue Feb 28 00:26:34 2017 +0000 +++ b/thys/ROOT Tue Feb 28 13:35:12 2017 +0000 @@ -1,6 +1,7 @@ session "Lex" = HOL + theories [document = false] - "Lexer" + "Lexer" + "LexerExt" "Simplifying" "Sulzmann"