src/HOL/Analysis/Radon_Nikodym.thy
Fri, 24 Sep 2021 22:23:26 +0200 wenzelm tuned proofs --- avoid 'guess';
Wed, 09 Oct 2019 14:51:54 +0000 haftmann dedicated fact collections for algebraic simplification rules potentially splitting goals
Fri, 12 Apr 2019 22:09:25 +0200 wenzelm modernized tags: default scope excludes proof;
Mon, 28 Jan 2019 10:27:47 +0100 nipkow more canonical and less specialized syntax
Fri, 25 Jan 2019 14:59:40 +0100 nipkow tuned
Thu, 24 Jan 2019 00:28:29 +0000 Angeliki KoutsoukouArgyraki tagged 5 theories
Thu, 17 Jan 2019 16:38:00 -0500 immler subsection is always %important
Fri, 28 Dec 2018 10:29:59 +0100 nipkow tuned style and headers
Thu, 08 Nov 2018 09:11:52 +0100 haftmann removed relics of ASCII syntax for indexed big operators
Sun, 21 Oct 2018 23:02:52 +0100 Angeliki KoutsoukouArgyraki tagged 8 theories for the Analysis manual.
Tue, 17 Jan 2017 13:59:10 +0100 wenzelm isabelle update_cartouches -c -t;
Thu, 13 Oct 2016 18:36:06 +0200 hoelzl HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
Mon, 08 Aug 2016 14:13:14 +0200 hoelzl rename HOL-Multivariate_Analysis to HOL-Analysis.
less more (0) tip