diff -r 715d01b34abb -r a7daa74e2980 src/HOLCF/IOA/meta_theory/Traces.thy
--- a/src/HOLCF/IOA/meta_theory/Traces.thy	Thu Apr 26 13:33:17 2007 +0200
+++ b/src/HOLCF/IOA/meta_theory/Traces.thy	Thu Apr 26 14:24:08 2007 +0200
@@ -58,7 +58,7 @@
   fairtraces     ::"('a,'s)ioa => 'a trace set"
 
   (* Notions of implementation *)
-  "=<|" :: "[('a,'s1)ioa, ('a,'s2)ioa] => bool"   (infixr 12)
+  ioa_implements :: "[('a,'s1)ioa, ('a,'s2)ioa] => bool"   (infixr "=<|" 12)
   fair_implements  :: "('a,'s1)ioa => ('a,'s2)ioa => bool"
 
   (* Execution, schedule and trace modules *)