author | paulson |
Mon, 24 May 1999 15:47:57 +0200 | |
changeset 6708 | 62beb3336b02 |
child 6810 | 731c848f6f0c |
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 = Prefix + instance list :: (term) order (prefix_refl,prefix_trans,prefix_antisym,prefix_less_le) end