--- a/src/HOLCF/Porder0.thy Wed Jun 29 12:01:17 1994 +0200
+++ b/src/HOLCF/Porder0.thy Wed Jun 29 12:03:41 1994 +0200
@@ -37,6 +37,6 @@
(* instance of << for the prototype void *)
-inst_void_po "(op <<)::[void,void]=>bool = less_void"
+inst_void_po "((op <<)::[void,void]=>bool) = less_void"
end