Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/Tr.thy
changeset 2647 83c9bdff7fdc
parent 2640 ee4dfce170a0
child 2719 27167b432e7a 
--- 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)
isabelle