| Fri, 03 Nov 2023 19:10:21 +0100 | wenzelm | proper option; | changeset | files |
| Fri, 03 Nov 2023 19:00:00 +0100 | wenzelm | merged | changeset | files |
| Fri, 03 Nov 2023 18:58:53 +0100 | wenzelm | proper SQL.string syntax, following actual SQL standard instead of historic variations before PostgreSQL 9.1; | changeset | files |
| 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 | changeset | files |
| Fri, 03 Nov 2023 10:55:15 +0100 | wenzelm | merged | changeset | files |
| Fri, 03 Nov 2023 10:30:51 +0100 | wenzelm | prefer Time.scale(), following Isabelle/ML; | changeset | files |
| Fri, 03 Nov 2023 10:21:21 +0100 | Fabian Huch | proper benchmark command; | changeset | files |