src/HOL/Library/Extended_Nat.thy
changeset 61378 3e04c9ca001a
parent 61076 bdc1e2f0a86a
child 61384 9f5145281888
     1.1 --- a/src/HOL/Library/Extended_Nat.thy	Fri Oct 09 19:51:20 2015 +0200
     1.2 +++ b/src/HOL/Library/Extended_Nat.thy	Fri Oct 09 20:26:03 2015 +0200
     1.3 @@ -15,8 +15,6 @@
     1.4  notation (xsymbols)
     1.5    infinity  ("\<infinity>")
     1.6  
     1.7 -notation (HTML output)
     1.8 -  infinity  ("\<infinity>")
     1.9  
    1.10  subsection \<open>Type definition\<close>
    1.11