changeset 22808 | a7daa74e2980 |
parent 19741 | f65265d71426 |
child 26339 | 7825c83c9eff |
--- 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 *)