src/HOL/Library/List_Cset.thy
changeset 43307 1a32a953cef1
parent 43241 93b1183e43e5
child 43971 892030194015
     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