| changeset 6810 | 731c848f6f0c |
| parent 6708 | 62beb3336b02 |
| child 12338 | de0f4a63baa5 |
| 6809:5b8912f7bb69 | 6810:731c848f6f0c |
|---|---|
4 Copyright 1998 University of Cambridge |
4 Copyright 1998 University of Cambridge |
5 |
5 |
6 Lists are partially ordered by the prefix relation |
6 Lists are partially ordered by the prefix relation |
7 *) |
7 *) |
8 |
8 |
9 ListOrder = Prefix + |
9 ListOrder = GenPrefix + |
10 |
10 |
11 instance list :: (term) order |
11 instance list :: (term) 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 |