--- 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