Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved thm to distribution, adapted to other changes in distribution
Changeset 8782:5aa4e4b2329c by nipkow:
moved thm to distribution, adapted to other changes in distribution
The file was modified thys/Gromov_Hyperbolicity/Hausdorff_Distance.thy (diff)
The file was modified thys/Gromov_Hyperbolicity/Isometries.thy (diff)
The file was modified thys/Gromov_Hyperbolicity/Library_Complements.thy (diff)