merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE76d1382d6077: proper SQL.string syntax, following actual SQL standard instead of historic…
rISABELLEd8045bc0544e: Added Kronecker's approximation theorem. Requires adding Real_Asymp to HOL… - Branches
- Unknown
- Tags
Merged Changes
Merged Changes