# HG changeset patch
# User haftmann
# Date 1166705714 -3600
# Node ID 1a0e32ccb8bb8d19a4c432a89a8376aa5a34eebf
# Parent  29438dfa8a169a624050ee79a6ac17e474a20882
dropped superfluos code

diff -r 29438dfa8a16 -r 1a0e32ccb8bb src/Pure/Tools/class_package.ML
--- a/src/Pure/Tools/class_package.ML	Thu Dec 21 13:55:13 2006 +0100
+++ b/src/Pure/Tools/class_package.ML	Thu Dec 21 13:55:14 2006 +0100
@@ -422,18 +422,12 @@
                 (sort (fn ((tyco1, _, _), (tyco2, _, _)) => string_ord (tyco1, tyco2)) arities))))
       | _ => (true, raw_name);
     val atts = map (prep_att theory) raw_atts;
-    fun already_defined (c, ty_inst) = 
-      is_some (find_first (fn (_, { lhs = [ty_inst'], ...}) =>
-          Sign.typ_instance theory (ty_inst', ty_inst) orelse Sign.typ_instance theory (ty_inst, ty_inst'))
-        (Defs.specifications_of (Theory.defs_of theory) c));
     fun get_consts_class tyco ty class =
       let
         val (_, cs) = AxClass.params_of_class theory class;
         val subst_ty = map_type_tfree (K ty);
       in
-        map_filter (fn (c, ty) =>
-          if already_defined (c, ty)
-          then NONE else SOME ((c, ((tyco, class), subst_ty ty)))) cs
+        map (fn (c, ty) => (c, ((tyco, class), subst_ty ty))) cs
       end;
     fun get_consts_sort (tyco, asorts, sort) =
       let