Summary
- moved lemmas to the distribution
- more adapations to new lemmas by Gouezel
The file was modified | thys/Gromov_Hyperbolicity/Library_Complements.thy (diff) |
The file was modified | thys/Lower_Semicontinuous/Lower_Semicontinuous.thy (diff) |
The file was modified | thys/Gromov_Hyperbolicity/Library_Complements.thy (diff) |
The file was modified | thys/Lower_Semicontinuous/Lower_Semicontinuous.thy (diff) |