| changeset 2840 | 7e03e61612b0 |
| parent 2640 | ee4dfce170a0 |
| child 3323 | 194ae2e0c193 |
| 2839:7ca787c6efca | 2840:7e03e61612b0 |
|---|---|
8 |
8 |
9 *) |
9 *) |
10 |
10 |
11 Cprod1 = Cfun3 + |
11 Cprod1 = Cfun3 + |
12 |
12 |
13 default cpo |
|
14 |
|
13 defs |
15 defs |
14 |
16 |
15 less_cprod_def "less p1 p2 == (fst p1<<fst p2 & snd p1 << snd p2)" |
17 less_cprod_def "less p1 p2 == (fst p1<<fst p2 & snd p1 << snd p2)" |
16 |
18 |
17 end |
19 end |