# HG changeset patch
# User paulson
# Date 929003921 -7200
# Node ID 731c848f6f0cfdb4432972e43c349da4ed402c58
# Parent  5b8912f7bb6959021abbcee6d87b36735d5b4801
using the new GenPrefix theory

diff -r 5b8912f7bb69 -r 731c848f6f0c src/HOL/UNITY/ListOrder.thy
--- 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)