| 18 months ago | wenzelm | merged | changeset | files |
| 18 months ago | wenzelm | proper SQL.string syntax, following actual SQL standard instead of historic variations before PostgreSQL 9.1; | changeset | files |
| 18 months ago | paulson | Added Kronecker's approximation theorem. Requires adding Real_Asymp to HOL-Analysis. Funny syntax issue in Probability/Projective_Family | changeset | files |
| 18 months ago | wenzelm | merged | changeset | files |
| Loading... | |||