diff -r 4fa5365cd871 -r b4216d0e109a Paper/Paper.thy
--- 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
 (*>*)