corrected slip
authorhaftmann
Sun Aug 28 08:12:54 2011 +0200 (2011-08-28)
changeset 445601711be44e76a
parent 44559 5a12314dcf30
child 44561 73f84bf0c6ac
corrected slip
src/HOL/Library/List_Cset.thy
     1.1 --- a/src/HOL/Library/List_Cset.thy	Sat Aug 27 19:52:58 2011 +0200
     1.2 +++ b/src/HOL/Library/List_Cset.thy	Sun Aug 28 08:12:54 2011 +0200
     1.3 @@ -64,7 +64,7 @@
     1.4  
     1.5  declare compl_set [code]
     1.6  declare compl_coset [code]
     1.7 -declare subtract_remove [cpde]
     1.8 +declare subtract_remove [code]
     1.9  
    1.10  lemma map_set [code]:
    1.11    "Cset.map f (Cset.set xs) = Cset.set (remdups (List.map f xs))"