better xsymbol syntax
authorpaulson
Wed May 08 10:14:07 2002 +0200 (2002-05-08)
changeset 131196f7526467e5a
parent 13118 336b0bcbd27c
child 13120 d1fea11b2fb6
better xsymbol syntax
src/ZF/Order.thy
     1.1 --- a/src/ZF/Order.thy	Wed May 08 10:12:57 2002 +0200
     1.2 +++ b/src/ZF/Order.thy	Wed May 08 10:14:07 2002 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4      "first(u, X, R) == u:X & (ALL v:X. v~=u --> <u,v> : R)"
     1.5  
     1.6  syntax (xsymbols)
     1.7 -    ord_iso :: [i,i,i,i]=>i       ("('(_,_') \\<cong> '(_,_'))" 50)
     1.8 +    ord_iso :: [i,i,i,i]=>i       ("(\\<langle>_, _\\<rangle> \\<cong>/ \\<langle>_, _\\<rangle>)" 51)
     1.9  
    1.10  
    1.11  end