diff -r 217ef3e4282e -r d2e929f51fa9 Nominal/Ex/SingleLet.thy
--- a/Nominal/Ex/SingleLet.thy	Sun Aug 29 01:17:36 2010 +0800
+++ b/Nominal/Ex/SingleLet.thy	Sun Aug 29 01:45:07 2010 +0800
@@ -37,17 +37,6 @@
 
 
 
-instantiation trm and assg :: fs
-begin
-
-instance
-apply(default)
-apply(simp_all add: single_let.fsupp)
-done
-
-end
-
-
 
 
 lemma test: