Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
using the new GenPrefix theory
authorpaulson
Thu, 10 Jun 1999 10:38:41 +0200
changeset 6810 731c848f6f0c
parent 6809 5b8912f7bb69
child 6811 4700ca722bbd
using the new GenPrefix theory
src/HOL/UNITY/ListOrder.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/UNITY/ListOrder.thy	Thu Jun 10 10:38:11 1999 +0200
+++ b/src/HOL/UNITY/ListOrder.thy	Thu Jun 10 10:38:41 1999 +0200
@@ -6,7 +6,7 @@
 Lists are partially ordered by the prefix relation
 *)
 
-ListOrder = Prefix +
+ListOrder = GenPrefix +
 
 instance list :: (term) order
     (prefix_refl,prefix_trans,prefix_antisym,prefix_less_le)
isabelle