# HG changeset patch
# User bulwahn
# Date 1307601101 -7200
# Node ID 1a32a953cef1ef10b0c9fd1dc0f3accc7b0b9f1b
# Parent  03e6da81aee677232938d722a2127bf3aee8e8ba
local simp rule in List_Cset

diff -r 03e6da81aee6 -r 1a32a953cef1 src/HOL/Library/List_Cset.thy
--- 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