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