
diff -r a59d8e1e3a17 -r 41137dc935ff Nominal/Nominal2_FSet.thy
--- a/Nominal/Nominal2_FSet.thy	Sun Nov 14 11:46:39 2010 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-theory Nominal2_FSet
-imports "../Nominal-General/Nominal2_Base"
-        "../Nominal-General/Nominal2_Eqvt"
-begin
-
-
-
-
-end




