--- a/Quot/Examples/FSet3.thy	Sat Jan 09 09:38:34 2010 +0100
+++ b/Quot/Examples/FSet3.thy	Mon Jan 11 00:31:29 2010 +0100
@@ -369,6 +369,8 @@
 apply(cleaning)
 apply (simp add: finsert_def fconcat_def comp_def)
 apply cleaning
+(* ID PROBLEM *)
+apply(simp add: id_def[symmetric] id_simps)
 done
 
 text {* raw section *}