# HG changeset patch
# User oheimb
# Date 856193497 -3600
# Node ID 83c9bdff7fdceeb692fc941c326de6f7651b2030
# Parent  099a9155f608ac7878803db59d83a6c86fef2e02
corrected type of plift

diff -r 099a9155f608 -r 83c9bdff7fdc src/HOLCF/Tr.thy
--- a/src/HOLCF/Tr.thy	Mon Feb 17 16:01:16 1997 +0100
+++ b/src/HOLCF/Tr.thy	Mon Feb 17 16:31:37 1997 +0100
@@ -16,7 +16,7 @@
         trand           :: "tr -> tr -> tr"
         tror            :: "tr -> tr -> tr"
         neg             :: "tr -> tr"
-        plift           :: "('a => bool) => 'a lift -> tr"
+        plift           :: "('a::term => bool) => 'a lift -> tr"
 
 syntax  "@cifte"        :: "tr=>'c=>'c=>'c" ("(3If _/ (then _/ else _) fi)" 60)
         "@andalso"      :: "tr => tr => tr" ("_ andalso _" [36,35] 35)