src/HOL/Library/Cset.thy
changeset 40968 a6fcd305f7dc
parent 40672 abd4e7358847
child 41372 551eb49a6e91
     1.1 --- a/src/HOL/Library/Cset.thy	Sun Dec 05 14:02:16 2010 +0100
     1.2 +++ b/src/HOL/Library/Cset.thy	Mon Dec 06 09:19:10 2010 +0100
     1.3 @@ -188,7 +188,7 @@
     1.4    "map f (Cset.set xs) = Cset.set (remdups (List.map f xs))"
     1.5    by (simp add: set_def)
     1.6  
     1.7 -type_mapper map
     1.8 +type_lifting map
     1.9    by (simp_all add: image_image)
    1.10  
    1.11  definition filter :: "('a \<Rightarrow> bool) \<Rightarrow> 'a Cset.set \<Rightarrow> 'a Cset.set" where