| Wed, 14 Feb 2024 15:33:45 +0000 | paulson | the syntax of Lebesgue integrals (LINT, LBINT, ∫, etc.) now requires parentheses | file | diff | annotate |
| Wed, 07 Feb 2024 11:52:34 +0000 | paulson | Further lemmas concerning complexity and measures | file | diff | annotate |
| Thu, 08 Jul 2021 08:42:36 +0200 | desharna | added opaque_combs and renamed hide_lams to opaque_lifting | file | diff | annotate |
| Fri, 19 Feb 2021 13:42:12 +0100 | Manuel Eberl | HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc. | file | diff | annotate |
| Wed, 09 Oct 2019 14:51:54 +0000 | haftmann | dedicated fact collections for algebraic simplification rules potentially splitting goals | file | diff | annotate |
| Thu, 11 Apr 2019 15:26:04 +0100 | paulson | type instantiations for poly_mapping as a real_normed_vector | file | diff | annotate |
| Tue, 22 Jan 2019 12:00:16 +0000 | paulson | renamings and new material | file | diff | annotate |