author | paulson |
Tue, 21 Sep 1999 11:11:09 +0200 | |
changeset 7547 | a72a551b6d79 |
parent 6810 | 731c848f6f0c |
child 12338 | de0f4a63baa5 |
permissions | -rw-r--r-- |
6708 | 1 |
(* Title: HOL/UNITY/ListOrder |
2 |
ID: $Id$ |
|
3 |
Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
|
4 |
Copyright 1998 University of Cambridge |
|
5 |
||
6 |
Lists are partially ordered by the prefix relation |
|
7 |
*) |
|
8 |
||
6810 | 9 |
ListOrder = GenPrefix + |
6708 | 10 |
|
11 |
instance list :: (term) order |
|
12 |
(prefix_refl,prefix_trans,prefix_antisym,prefix_less_le) |
|
13 |
||
14 |
end |