local simp rule in List_Cset
authorbulwahn
Thu Jun 09 08:31:41 2011 +0200 (2011-06-09)
changeset 433071a32a953cef1
parent 43306 03e6da81aee6
child 43308 fd6cc1378fec
local simp rule in List_Cset
src/HOL/Library/List_Cset.thy
     1.1 --- a/src/HOL/Library/List_Cset.thy	Thu Jun 09 00:16:28 2011 +0200
     1.2 +++ b/src/HOL/Library/List_Cset.thy	Thu Jun 09 08:31:41 2011 +0200
     1.3 @@ -219,4 +219,6 @@
     1.4      by (auto simp add: coset_def)
     1.5  qed
     1.6  
     1.7 +declare mem_def[simp del]
     1.8 +
     1.9  end
    1.10 \ No newline at end of file