src/HOLCF/IOA/NTP/Impl.thy

--- a/src/HOLCF/IOA/NTP/Impl.thy	Wed Jun 25 17:38:34 2008 +0200
+++ b/src/HOLCF/IOA/NTP/Impl.thy	Wed Jun 25 17:38:35 2008 +0200
@@ -112,7 +112,7 @@
 3) renname_ss unfolds transitions and the abstract channel *)
 
 ML {*
-val ss = @{simpset} addsimps @{thms transitions};
+val ss = @{simpset} addsimps @{thms "transitions"};
 val rename_ss = ss addsimps @{thms unfold_renaming};
 
 val tac     = asm_simp_tac (ss addcongs [@{thm conj_cong}] addsplits [@{thm split_if}])