changeset 1150 | 66512c9e6bd6 |
parent 243 | c22b85994e17 |
child 1168 | 74be52691d62 |
--- 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