author | haftmann |
Fri, 20 May 2011 08:16:13 +0200 | |
changeset 42868 | 1608daf27c1f |
parent 42867 | 760094e49a2c |
child 42869 | 43b0f61f56d0 |
--- a/src/HOL/Library/More_Set.thy Tue May 17 15:00:39 2011 +0200 +++ b/src/HOL/Library/More_Set.thy Fri May 20 08:16:13 2011 +0200 @@ -124,6 +124,6 @@ lemma not_set_compl: "Not \<circ> set xs = - set xs" - by (simp add: fun_Compl_def bool_Compl_def comp_def fun_eq_iff) + by (simp add: fun_Compl_def comp_def fun_eq_iff) end