| Thu, 03 Aug 2023 19:10:36 +0200 | paulson | More cosmetic changes | file | diff | annotate |
| Fri, 24 Sep 2021 22:23:26 +0200 | wenzelm | tuned proofs --- avoid 'guess'; | file | diff | annotate |
| Thu, 08 Jul 2021 08:44:18 +0200 | desharna | merged | 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 |
| Wed, 23 Jun 2021 17:43:31 +0000 | haftmann | more default simp rules | file | diff | annotate |
| Wed, 07 Apr 2021 12:28:19 +0000 | haftmann | simplified definition | 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 |
| Thu, 14 May 2020 13:44:44 +0200 | Manuel Eberl | Tuned some proofs in HOL-Analysis | file | diff | annotate |
| Tue, 31 Mar 2020 15:51:15 +0200 | nipkow | cleaned proofs | file | diff | annotate |
| Thu, 15 Aug 2019 16:11:56 +0100 | paulson | new material; rotated premises of Lim_transform_eventually | file | diff | annotate |
| Wed, 17 Jul 2019 14:02:42 +0100 | paulson | a few new lemmas and a bit of tidying | file | diff | annotate |
| Wed, 15 May 2019 14:43:32 +0100 | paulson | a few general lemmas | file | diff | annotate |
| Fri, 12 Apr 2019 22:09:25 +0200 | wenzelm | modernized tags: default scope excludes proof; | file | diff | annotate |
| Fri, 25 Jan 2019 14:59:40 +0100 | nipkow | tuned | file | diff | annotate |
| Tue, 22 Jan 2019 22:57:16 +0000 | Angeliki KoutsoukouArgyraki | minor tagging updates in 13 theories | file | diff | annotate |