Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
corrected type of plift
authoroheimb
Mon, 17 Feb 1997 16:31:37 +0100
changeset 2647 83c9bdff7fdc
parent 2646 099a9155f608
child 2648 9944bea3b459
corrected type of plift
src/HOLCF/Tr.thy file | annotate | diff | comparison | revisions 
--- 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