src/HOL/Analysis/Simplex_Content.thy
2 months ago Angeliki KoutsoukouArgyraki 2019-01-25 tagged 4 theories
3 months ago nipkow 2018-12-28 tuned style and headers
6 months ago Angeliki KoutsoukouArgyraki 2018-10-21 tagged 8 theories for the Analysis manual.
9 months ago Manuel Eberl 2018-07-13 HOL-Analysis: Volume of a simplex, Heron's theorem