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.
local simp rule in List_Cset
authorbulwahn
Thu, 09 Jun 2011 08:31:41 +0200
changeset 43307 1a32a953cef1
parent 43306 03e6da81aee6
child 43308 fd6cc1378fec
local simp rule in List_Cset
src/HOL/Library/List_Cset.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/List_Cset.thy	Thu Jun 09 00:16:28 2011 +0200
+++ b/src/HOL/Library/List_Cset.thy	Thu Jun 09 08:31:41 2011 +0200
@@ -219,4 +219,6 @@
     by (auto simp add: coset_def)
 qed
 
+declare mem_def[simp del]
+
 end
\ No newline at end of file
isabelle