src/HOL/Library/List_Set.thy
changeset 31846 89c37daebfdd
parent 31807 039893a9a77d
child 31851 c04f8c51d0ab
     1.1 --- a/src/HOL/Library/List_Set.thy	Sat Jun 27 22:28:07 2009 +0200
     1.2 +++ b/src/HOL/Library/List_Set.thy	Sun Jun 28 10:33:36 2009 +0200
     1.3 @@ -70,7 +70,7 @@
     1.4    by (auto simp add: remove_def remove_all_def)
     1.5  
     1.6  lemma image_set:
     1.7 -  "image f (set xs) = set (remdups (map f xs))"
     1.8 +  "image f (set xs) = set (map f xs)"
     1.9    by simp
    1.10  
    1.11  lemma project_set: