| Mon, 08 Jul 2024 22:27:50 +0100 | paulson | Better multiplication and division rules for ln and log | file | diff | annotate |
| Sat, 06 Jul 2024 12:51:31 +0100 | paulson | Totalisation of ln and therefore log and powr | file | diff | annotate |
| Mon, 06 May 2024 14:39:33 +0100 | paulson | Some new simprules – and patches for proofs | file | diff | annotate |
| Fri, 03 Nov 2023 16:20:06 +0000 | paulson | Added Kronecker's approximation theorem. Requires adding Real_Asymp to HOL-Analysis. Funny syntax issue in Probability/Projective_Family | file | diff | annotate |