removed useless symbol font syntax;

--- a/src/HOLCF/Porder0.thy	Tue Apr 01 09:28:56 1997 +0200
+++ b/src/HOLCF/Porder0.thy	Tue Apr 01 11:16:06 1997 +0200
@@ -11,7 +11,7 @@
 
 (* first the global constant for HOLCF type classes *)
 consts
-  "less"        :: "['a,'a] => bool" (infixl "\\<sqsubseteq>\\<sqsubseteq>" 55)
+  "less"        :: "['a,'a] => bool"
 
 axclass po < term
         (* class axioms: *)