src/HOLCF/IOA/meta_theory/Traces.thy
changeset 22808 a7daa74e2980
parent 19741 f65265d71426
child 26339 7825c83c9eff
     1.1 --- a/src/HOLCF/IOA/meta_theory/Traces.thy	Thu Apr 26 13:33:17 2007 +0200
     1.2 +++ b/src/HOLCF/IOA/meta_theory/Traces.thy	Thu Apr 26 14:24:08 2007 +0200
     1.3 @@ -58,7 +58,7 @@
     1.4    fairtraces     ::"('a,'s)ioa => 'a trace set"
     1.5  
     1.6    (* Notions of implementation *)
     1.7 -  "=<|" :: "[('a,'s1)ioa, ('a,'s2)ioa] => bool"   (infixr 12)
     1.8 +  ioa_implements :: "[('a,'s1)ioa, ('a,'s2)ioa] => bool"   (infixr "=<|" 12)
     1.9    fair_implements  :: "('a,'s1)ioa => ('a,'s2)ioa => bool"
    1.10  
    1.11    (* Execution, schedule and trace modules *)