src/HOLCF/IOA/NTP/Impl.ML

--- a/src/HOLCF/IOA/NTP/Impl.ML	Thu Jul 08 13:43:42 1999 +0200
+++ b/src/HOLCF/IOA/NTP/Impl.ML	Thu Jul 08 13:44:47 1999 +0200
@@ -56,8 +56,7 @@
 3) renname_ss unfolds transitions and the abstract channel *)
 
 
-val ss = (simpset() addcongs [if_weak_cong]
-                   addsimps transitions);     
+val ss = (simpset() addsimps transitions);     
 val rename_ss = (ss addsimps unfold_renaming);
 
 val tac     = asm_simp_tac (ss addcongs [conj_cong] addsplits [split_if]);