Summary
- tuned proofs and generalized some lemmas about limits
- tuned some proofs
- tuned some proofs about filters
The file was modified | src/HOL/Limits.thy (diff) |
The file was modified | src/HOL/Topological_Spaces.thy (diff) |
The file was modified | src/HOL/Filter.thy (diff) |