
diff -r 7c6a970f0808 -r de0f4a63baa5 src/HOL/UNITY/GenPrefix.thy
--- a/src/HOL/UNITY/GenPrefix.thy	Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOL/UNITY/GenPrefix.thy	Sat Dec 01 18:52:32 2001 +0100
@@ -27,7 +27,7 @@
 
     append  "(xs,ys) : genPrefix(r) ==> (xs, ys@zs) : genPrefix(r)"
 
-instance list :: (term)ord
+instance list :: (type)ord
 
 defs
   prefix_def        "xs <= zs  ==  (xs,zs) : genPrefix Id"




