--- a/Paper/Paper.thy	Wed Mar 17 09:57:54 2010 +0100
+++ b/Paper/Paper.thy	Wed Mar 17 10:34:25 2010 +0100
@@ -1,6 +1,6 @@
 (*<*)
 theory Paper
-imports "../Quot/QuotMain"
+imports "../Nominal/Test"
 begin
 (*>*)