src/HOL/Hyperreal/NSA.thy

--- a/src/HOL/Hyperreal/NSA.thy	Wed Apr 14 13:28:46 2004 +0200
+++ b/src/HOL/Hyperreal/NSA.thy	Wed Apr 14 14:13:05 2004 +0200
@@ -43,6 +43,9 @@
 syntax (xsymbols)
     approx :: "[hypreal, hypreal] => bool"    (infixl "\<approx>" 50)
 
+syntax (HTML output)
+    approx :: "[hypreal, hypreal] => bool"    (infixl "\<approx>" 50)
+
 
 
 subsection{*Closure Laws for  Standard Reals*}