src/HOL/Analysis/Improper_Integral.thy
3 months ago Angeliki KoutsoukouArgyraki 2019-01-22 minor tagging updates in 13 theories
3 months ago immler 2019-01-17 subsection is always %important
3 months ago immler 2019-01-17 redo tagging-related changes from a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7
3 months ago immler 2019-01-17 revert to 56acd449da41
3 months ago Angeliki KoutsoukouArgyraki 2019-01-17 more tagging
3 months ago nipkow 2018-12-27 tuned headers; ~ -> \<not>
5 months ago haftmann 2018-11-22 removed legacy input syntax
5 months ago haftmann 2018-11-18 removed legacy input syntax
5 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
6 months ago Angeliki KoutsoukouArgyraki 2018-10-21 tagged 8 theories for the Analysis manual.
12 months ago paulson 2018-04-14 a few new theorems and some fixes
15 months ago wenzelm 2018-01-16 standardized towards new-style formal comments: isabelle update_comments;
15 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
20 months ago paulson 2017-08-29 last-minute integration unscrambling
20 months ago paulson 2017-08-23 More tidying, and renaming of theorems
20 months ago paulson 2017-08-13 general rationalisation of Analysis
21 months ago wenzelm 2017-08-01 isabelle update_cartouches -c -t;
21 months ago paulson 2017-07-26 New theory of Equiintegrability / Continuity of the indefinite integral / improper integration