| author | wenzelm |
| Fri, 08 Mar 2002 16:24:06 +0100 | |
| changeset 13049 | ce180e5b7fa0 |
| parent 12338 | de0f4a63baa5 |
| child 13798 | 4c1a53627500 |
| permissions | -rw-r--r-- |
(* Title: HOL/UNITY/ListOrder ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1998 University of Cambridge Lists are partially ordered by the prefix relation *) ListOrder = GenPrefix + instance list :: (type) order (prefix_refl,prefix_trans,prefix_antisym,prefix_less_le) end