src/HOLCF/Cprod2.thy

--- a/src/HOLCF/Cprod2.thy	Wed Jun 29 12:01:17 1994 +0200
+++ b/src/HOLCF/Cprod2.thy	Wed Jun 29 12:03:41 1994 +0200
@@ -17,7 +17,7 @@
 
 (* instance of << for type ['a * 'b]  *)
 
-inst_cprod_po	"(op <<)::['a * 'b,'a * 'b]=>bool = less_cprod"
+inst_cprod_po	"((op <<)::['a * 'b,'a * 'b]=>bool) = less_cprod"
 
 end