diff -r 163d6917af62 -r 41fc4d3fc764 Quot/Nominal/LamEx2.thy
--- a/Quot/Nominal/LamEx2.thy	Tue Feb 02 13:10:46 2010 +0100
+++ b/Quot/Nominal/LamEx2.thy	Tue Feb 02 14:55:07 2010 +0100
@@ -4,6 +4,7 @@
 
 
 (* lemmas that should be in Nominal \<dots>\<dots>must be cleaned *)
+(* Currently not used, still needed needed? *)
 lemma supp_finite_set:
   fixes S::"atom set"
   assumes "finite S"