src/HOLCF/Ssum2.thy
changeset 442 13ac1fd0a14d
parent 243 c22b85994e17
child 1479 21eb5e156d91
     1.1 --- a/src/HOLCF/Ssum2.thy	Wed Jun 29 12:01:17 1994 +0200
     1.2 +++ b/src/HOLCF/Ssum2.thy	Wed Jun 29 12:03:41 1994 +0200
     1.3 @@ -15,7 +15,7 @@
     1.4  
     1.5  (* instance of << for type ['a ++ 'b]  *)
     1.6  
     1.7 -inst_ssum_po	"(op <<)::['a ++ 'b,'a ++ 'b]=>bool = less_ssum"
     1.8 +inst_ssum_po	"((op <<)::['a ++ 'b,'a ++ 'b]=>bool) = less_ssum"
     1.9  
    1.10  end
    1.11