diff -r a42c773ec8ab -r 841f7b9c0a6a thys/Simplifying.thy
--- a/thys/Simplifying.thy	Tue May 17 14:28:22 2016 +0100
+++ b/thys/Simplifying.thy	Wed May 18 15:57:46 2016 +0100
@@ -1,5 +1,5 @@
 theory Simplifying
-  imports "ReStar" 
+  imports "Lexer" 
 begin
 
 section {* Lexer including simplifications *}