Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved from AFP/Gromov
  2. moved t3/t4 space from AFP/Gromov to here.
  3. more automation
Changeset 67455:fe6bcf0137b4 by nipkow:
moved from AFP/Gromov
The file was modified src/HOL/Analysis/Connected.thy (diff)
Changeset 67454:867d7e91af65 by nipkow:
moved t3/t4 space from AFP/Gromov to here.
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 67453:afefc45ed4e9 by nipkow:
more automation
The file was modified src/HOL/Topological_Spaces.thy (diff)