changeset 12338 | de0f4a63baa5 |
parent 6810 | 731c848f6f0c |
child 13798 | 4c1a53627500 |
12337:7c6a970f0808 | 12338:de0f4a63baa5 |
---|---|
6 Lists are partially ordered by the prefix relation |
6 Lists are partially ordered by the prefix relation |
7 *) |
7 *) |
8 |
8 |
9 ListOrder = GenPrefix + |
9 ListOrder = GenPrefix + |
10 |
10 |
11 instance list :: (term) order |
11 instance list :: (type) order |
12 (prefix_refl,prefix_trans,prefix_antisym,prefix_less_le) |
12 (prefix_refl,prefix_trans,prefix_antisym,prefix_less_le) |
13 |
13 |
14 end |
14 end |