--- a/src/HOL/Equiv_Relations.thy Thu Feb 18 13:29:59 2010 -0800
+++ b/src/HOL/Equiv_Relations.thy Thu Feb 18 14:21:44 2010 -0800
@@ -328,7 +328,7 @@
apply assumption
apply simp
apply(fastsimp simp add:inj_on_def)
-apply (simp add:setsum_constant)
+apply simp
done
end