--- a/src/HOL/UNITY/ListOrder.thy Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOL/UNITY/ListOrder.thy Sat Dec 01 18:52:32 2001 +0100
@@ -8,7 +8,7 @@
ListOrder = GenPrefix +
-instance list :: (term) order
+instance list :: (type) order
(prefix_refl,prefix_trans,prefix_antisym,prefix_less_le)
end