src/HOL/Analysis/Integral_Test.thy
12 months ago Manuel Eberl 2018-07-16 Tagged some more files in HOL-Analysis
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.