Summary
- A tiny further cleanup
- Tidied some messy proofs
The file was modified | src/HOL/Library/Lexord.thy (diff) |
The file was modified | src/HOL/Deriv.thy (diff) |
The file was modified | src/HOL/Topological_Spaces.thy (diff) |
The file was modified | src/HOL/Library/Lexord.thy (diff) |
The file was modified | src/HOL/Deriv.thy (diff) |
The file was modified | src/HOL/Topological_Spaces.thy (diff) |