Summary
- merged
- New proofs also some slightly faster existing proofs
The file was modified | src/HOL/Analysis/Abstract_Metric_Spaces.thy (diff) |
The file was modified | src/HOL/Archimedean_Field.thy (diff) |
The file was modified | src/HOL/Analysis/Abstract_Metric_Spaces.thy (diff) |
The file was modified | src/HOL/Archimedean_Field.thy (diff) |