Summary
- merged
- proper latex;
- misc tuning and modernization;
The file was modified | src/HOL/Topological_Spaces.thy (diff) |
The file was modified | src/HOL/Rat.thy (diff) |
The file was modified | src/HOL/Real.thy (diff) |
The file was modified | src/HOL/Topological_Spaces.thy (diff) |