src/Pure/pure_thy.ML

--- a/src/Pure/pure_thy.ML	Tue Sep 20 08:20:22 2005 +0200
+++ b/src/Pure/pure_thy.ML	Tue Sep 20 08:21:49 2005 +0200
@@ -250,7 +250,7 @@
   |> map (fn thy =>
       FactIndex.find (fact_index_of thy) spec
       |> List.filter (fn (name, ths) => valid_thms theory (Name name, ths))
-      |> gen_distinct eq_fst)
+      |> gen_distinct (eq_fst (op =)))
   |> List.concat;
 
 fun thms_containing_consts thy consts =