1.1 --- a/src/HOLCF/Completion.thy	Thu Mar 26 19:24:21 2009 +0100
     1.2 +++ b/src/HOLCF/Completion.thy	Thu Mar 26 20:08:55 2009 +0100
     1.3 @@ -156,7 +156,7 @@
     1.4  
     1.5  end
     1.6  
     1.7 -interpretation sq_le!: preorder "sq_le :: 'a::po \<Rightarrow> 'a \<Rightarrow> bool"
     1.8 +interpretation sq_le: preorder "sq_le :: 'a::po \<Rightarrow> 'a \<Rightarrow> bool"
     1.9  apply unfold_locales
    1.10  apply (rule refl_less)
    1.11  apply (erule (1) trans_less)