  A local existence and uniqueness theorem for ODEs in the special algebra of
generalized functions is established, as well as versions including parameters
and dependence on initial values in the generalized sense. Finally, a Frobenius
theorem is proved. In all these results, composition of generalized functions
is based on the notion of c-boundedness.
