src/HOL/Fun.thy

--- a/src/HOL/Fun.thy	Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOL/Fun.thy	Sat Dec 01 18:52:32 2001 +0100
@@ -8,7 +8,7 @@
 
 Fun = Typedef +
 
-instance set :: (term) order
+instance set :: (type) order
                        (subset_refl,subset_trans,subset_antisym,psubset_eq)
 consts
   fun_upd  :: "('a => 'b) => 'a => 'b => ('a => 'b)"