A Frobenius Theorem on Convenient Manifolds

 A Frobenius Theorem for finite dimensional, involutive subbundles of the tangent bundle of a convenient manifold is proved. As first key applications Lie’s second fundamental theorem and Nelson’s theorem are treated in the convenient case.