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/Binary_Product_Measure.thy
7 months ago wenzelm standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing; file | diff | annotate
2023-02-02 paulson More of Manuel's material, and some changes file | diff | annotate
2021-09-24 wenzelm tuned proofs --- avoid 'guess'; file | diff | annotate
2019-04-12 wenzelm modernized tags: default scope excludes proof; file | diff | annotate
2019-03-21 paulson new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map file | diff | annotate
2019-03-05 haftmann avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default file | diff | annotate
2019-01-25 nipkow tuned file | diff | annotate
2019-01-22 Angeliki KoutsoukouArgyraki minor tagging updates in 13 theories file | diff | annotate
2019-01-17 immler subsection is always %important file | diff | annotate
2019-01-14 Angeliki KoutsoukouArgyraki updated tagging first 5 file | diff | annotate
2019-01-01 wenzelm more antiquotations -- less LaTeX macros; file | diff | annotate
2018-12-28 nipkow tuned style and headers file | diff | annotate
2018-11-18 haftmann removed legacy input syntax file | diff | annotate
2018-11-08 haftmann removed relics of ASCII syntax for indexed big operators file | diff | annotate
2018-08-28 Angeliki KoutsoukouArgyraki tagged 21 theories in the Analysis library for the manual file | diff | annotate
2018-02-23 paulson fixed the proof of pair_measure_count_space file | diff | annotate
2018-01-10 nipkow ran isabelle update_op on all sources file | diff | annotate
2016-10-17 nipkow setsum -> sum file | diff | annotate
2016-09-30 hoelzl HOL-Probability: more about probability, prepare for Markov processes in the AFP file | diff | annotate
2016-08-08 hoelzl rename HOL-Multivariate_Analysis to HOL-Analysis. file | diff | annotate | base
less more (0) tip
isabelle