Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned proofs and generalized some lemmas about limits
  2. tuned some proofs
  3. tuned some proofs about filters
Changeset 67958:732c0b059463 by huffman:
tuned proofs and generalized some lemmas about limits
The file was modified src/HOL/Limits.thy (diff)
Changeset 67957:55f00429da84 by huffman:
tuned some proofs
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 67956:79dbb9dccc99 by huffman:
tuned some proofs about filters
The file was modified src/HOL/Filter.thy (diff)