Changes

Summary

Changeset 8936:fd517455d6c7 by paulson _lp15@cam.ac.uk_: renamings, etc. for compatibility
The file was modified	`thys/Gromov_Hyperbolicity/Library_Complements.thy` (diff)
The file was modified	`thys/Minkowskis_Theorem/Minkowskis_Theorem.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/IVP/Initial_Value_Problem.thy` (diff)
The file was modified	`thys/Perron_Frobenius/Perron_Frobenius_Aux.thy` (diff)