
diff -r a42c773ec8ab -r 841f7b9c0a6a thys/Sulzmann.thy
--- a/thys/Sulzmann.thy	Tue May 17 14:28:22 2016 +0100
+++ b/thys/Sulzmann.thy	Wed May 18 15:57:46 2016 +0100
@@ -1,6 +1,6 @@
    
 theory Sulzmann
-  imports "ReStar" 
+  imports "Lexer" 
 begin
 
 




