# HG changeset patch
# User nipkow
# Date 1128777658 -7200
# Node ID aa6ec0efe4d388013046b8311641f139ff44826c
# Parent  ccba4e9000239f2da80535168871575559c083a2
fix due to new neq_simproc

diff -r ccba4e900023 -r aa6ec0efe4d3 src/HOLCF/IOA/NTP/Multiset.ML
--- a/src/HOLCF/IOA/NTP/Multiset.ML	Fri Oct 07 23:29:00 2005 +0200
+++ b/src/HOLCF/IOA/NTP/Multiset.ML	Sat Oct 08 15:20:58 2005 +0200
@@ -68,7 +68,7 @@
   by (asm_simp_tac (simpset() addsimps 
                       [count_addm_simp,Multiset.delm_nonempty_def,
                        Multiset.countm_nonempty_def,pos_count_imp_pos_countm]) 1);
-  by (asm_simp_tac (simpset() addsimps [eq_sym_conv]) 1);
+  by (Auto_tac);
 qed "countm_done_delm";