changeset 19295 | c5d236fe9668 |
parent 19277 | f7602e74d948 |
child 19323 | ec5cd5b1804c |
--- a/src/HOL/Set.thy Mon Mar 20 17:37:11 2006 +0100 +++ b/src/HOL/Set.thy Mon Mar 20 17:38:22 2006 +0100 @@ -474,7 +474,7 @@ subsubsection {* Subsets *} -lemma subsetI [intro!]: "(!!x. x:A ==> x:B) ==> A \<subseteq> B" +lemma subsetI [atp,intro!]: "(!!x. x:A ==> x:B) ==> A \<subseteq> B" by (simp add: subset_def) text {*