src/HOL/Nat.thy

--- a/src/HOL/Nat.thy	Fri Oct 09 19:51:20 2015 +0200
+++ b/src/HOL/Nat.thy	Fri Oct 09 20:26:03 2015 +0200
@@ -1317,9 +1317,6 @@
 notation (latex output)
   compower ("(_\<^bsup>_\<^esup>)" [1000] 1000)
 
-notation (HTML output)
-  compower ("(_\<^bsup>_\<^esup>)" [1000] 1000)
-
 text \<open>@{text "f ^^ n = f o ... o f"}, the n-fold composition of @{text f}\<close>
 
 overloading