--- a/src/HOL/Library/Multiset.thy Mon Sep 30 16:12:16 2002 +0200
+++ b/src/HOL/Library/Multiset.thy Mon Sep 30 16:14:02 2002 +0200
@@ -274,7 +274,8 @@
apply (rule conjI)
apply force
apply safe
- apply (simp_all add: eq_sym_conv)
+ apply simp_all
+ apply (simp add: eq_sym_conv)
done
(*