src/HOL/Fun.thy

--- a/src/HOL/Fun.thy	Wed Apr 14 13:28:46 2004 +0200
+++ b/src/HOL/Fun.thy	Wed Apr 14 14:13:05 2004 +0200
@@ -52,6 +52,8 @@
 
 syntax (xsymbols)
   comp :: "['b => 'c, 'a => 'b, 'a] => 'c"        (infixl "\<circ>" 55)
+syntax (HTML output)
+  comp :: "['b => 'c, 'a => 'b, 'a] => 'c"        (infixl "\<circ>" 55)
 
 
 constdefs