corrected type of plift
authoroheimb
Mon Feb 17 16:31:37 1997 +0100 (1997-02-17)
changeset 264783c9bdff7fdc
parent 2646 099a9155f608
child 2648 9944bea3b459
corrected type of plift
src/HOLCF/Tr.thy
     1.1 --- a/src/HOLCF/Tr.thy	Mon Feb 17 16:01:16 1997 +0100
     1.2 +++ b/src/HOLCF/Tr.thy	Mon Feb 17 16:31:37 1997 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4          trand           :: "tr -> tr -> tr"
     1.5          tror            :: "tr -> tr -> tr"
     1.6          neg             :: "tr -> tr"
     1.7 -        plift           :: "('a => bool) => 'a lift -> tr"
     1.8 +        plift           :: "('a::term => bool) => 'a lift -> tr"
     1.9  
    1.10  syntax  "@cifte"        :: "tr=>'c=>'c=>'c" ("(3If _/ (then _/ else _) fi)" 60)
    1.11          "@andalso"      :: "tr => tr => tr" ("_ andalso _" [36,35] 35)