--- a/Nominal/Abs.thy	Sun Sep 05 07:00:19 2010 +0800
+++ b/Nominal/Abs.thy	Fri Sep 10 09:17:40 2010 +0800
@@ -6,11 +6,6 @@
         "Quotient_Product" 
 begin
 
-section {* Support w.r.t. relations *}
-
-definition 
-  "supp_rel R x = {a. infinite {b. \<not>(R ((a \<rightleftharpoons> b) \<bullet> x) x)}}"
-
 
 section {* Abstractions *}