  In this work we show how to extend the seminal Baouendi-Treves approximation
theorem for Gevrey functions and ultradistributions. As applications we present
a Gevrey version of the approximate Poincar\'e Lemma and study
ultradistributions vanishing on maximally real submanifolds.
