| changeset 442 | 13ac1fd0a14d |
| parent 243 | c22b85994e17 |
| child 1168 | 74be52691d62 |
--- a/src/HOLCF/Fun2.thy Wed Jun 29 12:01:17 1994 +0200 +++ b/src/HOLCF/Fun2.thy Wed Jun 29 12:03:41 1994 +0200 @@ -22,7 +22,7 @@ (* instance of << for type ['a::term => 'b::po] *) -inst_fun_po "(op <<)::['a=>'b::po,'a=>'b::po ]=>bool = less_fun" +inst_fun_po "((op <<)::['a=>'b::po,'a=>'b::po ]=>bool) = less_fun" (* definitions *) (* The least element in type 'a::term => 'b::pcpo *)