--- a/src/HOLCF/Cprod2.thy Tue Feb 06 12:27:17 1996 +0100
+++ b/src/HOLCF/Cprod2.thy Tue Feb 06 12:42:31 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: HOLCF/cprod2.thy
+(* Title: HOLCF/cprod2.thy
ID: $Id$
- Author: Franz Regensburger
+ Author: Franz Regensburger
Copyright 1993 Technische Universitaet Muenchen
Class Instance *::(pcpo,pcpo)po
@@ -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