src/HOLCF/Completion.thy
changeset 30729 461ee3e49ad3
parent 29252 ea97aa6aeba2
child 31076 99fe356cbbc2
     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)