src/ZF/Ordinal.thy
changeset 14565 c6dc17aab88a
parent 13784 b9f6154427a4
child 14864 419b45cdb400
     1.1 --- a/src/ZF/Ordinal.thy	Wed Apr 14 13:28:46 2004 +0200
     1.2 +++ b/src/ZF/Ordinal.thy	Wed Apr 14 14:13:05 2004 +0200
     1.3 @@ -34,6 +34,8 @@
     1.4  
     1.5  syntax (xsymbols)
     1.6    "op le"       :: "[i,i] => o"  (infixl "\<le>" 50)  (*less-than or equals*)
     1.7 +syntax (HTML output)
     1.8 +  "op le"       :: "[i,i] => o"  (infixl "\<le>" 50)  (*less-than or equals*)
     1.9  
    1.10  
    1.11  subsection{*Rules for Transset*}