src/HOL/Multivariate_Analysis/Integration.thy
2010-03-09 himmelma 2010-03-09 reset smt_certificates
2010-03-09 himmelma 2010-03-09 added lemmas
2010-03-02 himmelma 2010-03-02 the ordering on real^1 is linear
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)