src/HOLCF/Porder0.thy

--- a/src/HOLCF/Porder0.thy	Mon Dec 02 12:19:56 1996 +0100
+++ b/src/HOLCF/Porder0.thy	Mon Dec 02 12:37:15 1996 +0100
@@ -40,12 +40,6 @@
 inst_void_po    "((op <<)::[void,void]=>bool) = less_void"
 
 (* start 8bit 1 *)
-syntax
-	"Ý"	::	"['a,'a::po] => bool"	(infixl 55)
-
-translations
-  "x Ý y"	== "x << y"
-
 (* end 8bit 1 *)
 
 end