| Fri, 19 Feb 2021 13:42:12 +0100 | Manuel Eberl | HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc. | changeset | files |
| Tue, 16 Feb 2021 17:12:02 +0000 | paulson | tidied up a few ugly proofs | changeset | files |
| Sun, 14 Feb 2021 20:13:13 +0100 | wenzelm | merged | changeset | files |
| Sun, 14 Feb 2021 17:32:06 +0100 | wenzelm | provide naproche-6d0d76ce2f2a; | changeset | files |
| Sun, 14 Feb 2021 15:40:38 +0100 | wenzelm | Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b | changeset | files |
| Sat, 13 Feb 2021 21:19:53 +0100 | wenzelm | updated to flatlaf-1.0; | changeset | files |
| Sat, 13 Feb 2021 20:39:29 +0100 | wenzelm | tuned NEWS; | changeset | files |
| Wed, 10 Feb 2021 22:30:51 +0100 | wenzelm | tuned comments; | changeset | files |