diff -r 651fce76c86c -r 91d8abf108be src/HOLCF/Lift1.thy --- a/src/HOLCF/Lift1.thy Fri Dec 13 18:40:50 1996 +0100 +++ b/src/HOLCF/Lift1.thy Fri Dec 13 18:45:58 1996 +0100 @@ -10,7 +10,7 @@ default term -datatype 'a lift = Undef | Def('a) +datatype 'a lift = Undef | Def 'a arities "lift" :: (term)term