src/HOL/Multivariate_Analysis/Integration.cert
2010-02-22 hoelzl 2010-02-22 Replaced Integration by Multivariate-Analysis/Real_Integration
2010-02-17 himmelma 2010-02-17 Added integration to Multivariate-Analysis (upto FTC)