diff -r 55e2aef8909b -r 735bf767833a src/Tools/8bit/isa-patches/HOLCF/Sprod0.p
--- a/src/Tools/8bit/isa-patches/HOLCF/Sprod0.p	Fri Jun 29 18:12:18 2001 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-types
-
-('a, 'b) "õ"          (infixr 20)
-
-translations
-
-(type)  "x õ y"	== (type) "x ** y" 
-