thys/ROOT
changeset 223 17c079699ea0
parent 218 16af5b8bd285
child 248 b90ff5abb437
--- 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"