Summary
- corrected name
- moved from AFP/Gromov
The file was modified | src/HOL/Analysis/Connected.thy (diff) |
The file was modified | src/HOL/Conditionally_Complete_Lattices.thy (diff) |
The file was modified | src/HOL/Analysis/Connected.thy (diff) |
The file was modified | src/HOL/Conditionally_Complete_Lattices.thy (diff) |