--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/8bit/isa-patches/HOLCF/Tr1.p Tue Jun 25 17:44:43 1996 +0200
@@ -0,0 +1,8 @@
+syntax
+ "GeqTT" :: "tr => bool" ("(Å_Æ)")
+ "GeqFF" :: "tr => bool" ("(Ç_È)")
+
+translations
+ "ÅxÆ" == "x = TT"
+ "ÇxÈ" == "x = FF"
+