diff -r 8732ff59068b -r c6db12ddb60c Nominal/Perm.thy
--- a/Nominal/Perm.thy	Wed May 26 15:37:56 2010 +0200
+++ b/Nominal/Perm.thy	Thu May 27 18:37:52 2010 +0200
@@ -2,10 +2,12 @@
 imports 
   "../Nominal-General/Nominal2_Base"
   "../Nominal-General/Nominal2_Atoms" 
-  "Nominal2_FSet" "Abs"
-uses ("nominal_dt_rawperm.ML")
+  "../Nominal-General/Nominal2_Eqvt" 
+  "Nominal2_FSet"
+  "Abs"
+(*uses ("nominal_dt_rawperm.ML")
      ("nominal_dt_rawfuns.ML")
-     ("nominal_dt_alpha.ML")
+     ("nominal_dt_alpha.ML")*)
 begin
 
 use "nominal_dt_rawperm.ML"