--- a/src/Tools/8bit/isa-patches/HOLCF/Sprod3.p Fri Jun 29 18:12:18 2001 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-syntax
- "@Gstuple" :: "['a, args] => 'a ** 'b" ("(1É_,/ _Ê)")
-
-translations
- "Éx, y, zÊ" == "Éx, Éy, zÊÊ"
- "Éx, yÊ" == "(|x,y|)"