src/HOL/Library/Preorder.thy
changeset 61384 9f5145281888
parent 61378 3e04c9ca001a
child 63465 d7610beb98bc
     1.1 --- a/src/HOL/Library/Preorder.thy	Sat Oct 10 16:40:43 2015 +0200
     1.2 +++ b/src/HOL/Library/Preorder.thy	Sat Oct 10 19:22:05 2015 +0200
     1.3 @@ -13,10 +13,6 @@
     1.4    "equiv x y \<longleftrightarrow> x \<le> y \<and> y \<le> x"
     1.5  
     1.6  notation
     1.7 -  equiv ("op ~~") and
     1.8 -  equiv ("(_/ ~~ _)" [51, 51] 50)
     1.9 -  
    1.10 -notation (xsymbols)
    1.11    equiv ("op \<approx>") and
    1.12    equiv ("(_/ \<approx> _)"  [51, 51] 50)
    1.13