
diff -r c0eac04ae3b4 -r c34347ec7ab3 Pearl/Paper.thy
--- a/Pearl/Paper.thy	Sat Apr 03 22:31:11 2010 +0200
+++ b/Pearl/Paper.thy	Sun Apr 04 21:39:28 2010 +0200
@@ -1,9 +1,9 @@
 (*<*)
 theory Paper
-imports "../Nominal/Nominal2_Base" 
-        "../Nominal/Nominal2_Atoms" 
-        "../Nominal/Nominal2_Eqvt" 
-        "../Nominal/Atoms" 
+imports "../Nominal-General/Nominal2_Base" 
+        "../Nominal-General/Nominal2_Atoms" 
+        "../Nominal-General/Nominal2_Eqvt" 
+        "../Nominal-General/Atoms" 
         "LaTeXsugar"
 begin
 




