--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/8bit/isa-patches/HOLCF/Pcpo.p Tue Jun 25 17:44:43 1996 +0200 @@ -0,0 +1,6 @@ +syntax + "GUU" :: "'a::pcpo" ("Ø") + +translations + "Ø" == "UU" +