diff -r e5c08f8b483b -r fbd14a05fb88 src/HOLCF/Up3.thy
--- a/src/HOLCF/Up3.thy	Mon Dec 02 12:19:56 1996 +0100
+++ b/src/HOLCF/Up3.thy	Mon Dec 02 12:37:15 1996 +0100
@@ -29,9 +29,6 @@
 "case l of up`x => t1" == "fup`(LAM x.t1)`l"
 
 (* start 8bit 1 *)
-translations
-
-"case l of up`x => t1" == "fup`(¤x.t1)`l"
 (* end 8bit 1 *)
 
 end