Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. corrected name
  2. moved from AFP/Gromov
Changeset 67459:7264dfad077c by nipkow:
corrected name
The file was modified src/HOL/Analysis/Connected.thy (diff)
Changeset 67458:e090941f9f42 by nipkow:
moved from AFP/Gromov
The file was modified src/HOL/Conditionally_Complete_Lattices.thy (diff)