--- a/thys/Paper/Paper.thy	Mon Mar 14 15:15:29 2016 +0000
+++ b/thys/Paper/Paper.thy	Mon Mar 14 23:08:58 2016 +0000
@@ -2,6 +2,7 @@
 theory Paper
 imports 
    "../ReStar"
+   "../Simplifying" 
    "../Sulzmann" 
    "~~/src/HOL/Library/LaTeXsugar"
 begin