src/HOL/Analysis/Lipschitz.thy
6 months ago nipkow 2018-12-28 tuned style and headers
10 months ago immler 2018-08-29 tagged some theories
14 months ago paulson 2018-05-20 one last fix
15 months ago paulson 2018-04-14 new material about vec, real^1, etc.
17 months ago immler 2018-02-26 moved Lipschitz continuity from AFP/Ordinary_Differential_Equations and AFP/Gromov_Hyperbolicity; moved lemmas from AFP/Gromov_Hyperbolicity/Library_Complements