src/HOLCF/Cprod1.thy

--- a/src/HOLCF/Cprod1.thy	Wed Jun 21 15:01:07 1995 +0200
+++ b/src/HOLCF/Cprod1.thy	Wed Jun 21 15:14:58 1995 +0200
@@ -16,8 +16,8 @@
 
 rules
 
-  less_cprod_def "less_cprod(p1,p2) == ( fst(p1) << fst(p2) &\
-\					snd(p1) << snd(p2))"
+  less_cprod_def "less_cprod(p1,p2) == ( fst(p1) << fst(p2) &
+					snd(p1) << snd(p2))"
 
 end