Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Analysis/Interval_Integral.thy
2022-05-24 paulson Renamed the misleading has_field_derivative_iff_has_vector_derivative. Inserted a number of minor lemmas file | diff | annotate
2021-09-24 wenzelm tuned proofs --- avoid 'guess'; file | diff | annotate
2021-03-31 nipkow new automatic order prover: stateless, complete, verified file | diff | annotate
2020-05-11 paulson the Uniq quantifier file | diff | annotate
2019-08-27 immler moved basic theorem file | diff | annotate
2019-07-17 paulson a few new lemmas and a bit of tidying file | diff | annotate
2019-04-12 wenzelm modernized tags: default scope excludes proof; file | diff | annotate
2019-01-17 immler subsection is always %important file | diff | annotate
2019-01-17 immler redo tagging-related changes from a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7 file | diff | annotate
2019-01-17 immler revert to 56acd449da41 file | diff | annotate
2019-01-17 Angeliki KoutsoukouArgyraki more tagging file | diff | annotate
2018-10-21 Angeliki KoutsoukouArgyraki tagged 8 theories for the Analysis manual. file | diff | annotate
2018-07-15 paulson de-applying and meta-quantifying file | diff | annotate
2018-06-28 paulson Incorporating new/strengthened proofs from Library and AFP entries file | diff | annotate
2018-06-06 nipkow reorient -> split; documented split file | diff | annotate
2018-05-06 paulson more tidying file | diff | annotate
2018-05-06 paulson starting to tidy up Interval_Integral.thy file | diff | annotate
2018-04-26 nipkow new simp modifier: reorient file | diff | annotate
2018-04-11 paulson replacement of set integral abbreviations by actual definitions! file | diff | annotate
2017-06-22 paulson New theorems and much tidying up of the old ones file | diff | annotate
2016-09-23 hoelzl move absolutely_integrable_on to Equivalence_Lebesgue_Henstock_Integration, now based on the Lebesgue integral file | diff | annotate
2016-09-16 hoelzl move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel file | diff | annotate
2016-08-08 hoelzl rename HOL-Multivariate_Analysis to HOL-Analysis. file | diff | annotate | base
less more (0) tip
isabelle