diff -r 1281e9bf57f6 -r 52aa183c15bb src/HOLCF/IOA/meta_theory/TL.thy
--- a/src/HOLCF/IOA/meta_theory/TL.thy	Sat Nov 03 01:38:39 2001 +0100
+++ b/src/HOLCF/IOA/meta_theory/TL.thy	Sat Nov 03 01:39:17 2001 +0100
@@ -45,7 +45,7 @@
 
 unlift_def
   "unlift x == (case x of 
-                 Undef   => arbitrary
+                 UU   => arbitrary
                | Def y   => y)"
 
 (* this means that for nil and UU the effect is unpredictable *)