changeset 12028 | 52aa183c15bb |
parent 10835 | f4745d77e620 |
child 12114 | a8e860c86252 |
--- 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 *)