
diff -r 8aff3f3ce47f -r 45a69c9cc4cc Nominal/Equivp.thy
--- a/Nominal/Equivp.thy	Sun May 23 02:15:24 2010 +0100
+++ b/Nominal/Equivp.thy	Mon May 24 20:02:37 2010 +0100
@@ -1,5 +1,5 @@
 theory Equivp
-imports "NewFv" "Tacs" "Rsp"
+imports "Abs" "Perm" "Tacs" "Rsp"
 begin
 
 ML {*




