# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1289736554 0
# Node ID 41137dc935ff07e84a0a7d0e23c8bf9a07bd659c
# Parent  a59d8e1e3a17ce32d088be48f3c455dc515c450d
deleted special Nominal2_FSet theory

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