Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
corrected slip
authorhaftmann
Sun, 28 Aug 2011 08:12:54 +0200
changeset 44560 1711be44e76a
parent 44559 5a12314dcf30
child 44561 73f84bf0c6ac
corrected slip
src/HOL/Library/List_Cset.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/List_Cset.thy	Sat Aug 27 19:52:58 2011 +0200
+++ b/src/HOL/Library/List_Cset.thy	Sun Aug 28 08:12:54 2011 +0200
@@ -64,7 +64,7 @@
 
 declare compl_set [code]
 declare compl_coset [code]
-declare subtract_remove [cpde]
+declare subtract_remove [code]
 
 lemma map_set [code]:
   "Cset.map f (Cset.set xs) = Cset.set (remdups (List.map f xs))"
isabelle