| Sat, 14 Apr 2018 09:23:00 +0100 | paulson | new material about vec, real^1, etc. | file | diff | annotate |
| Mon, 26 Feb 2018 07:34:05 +0100 | immler | moved Lipschitz continuity from AFP/Ordinary_Differential_Equations and AFP/Gromov_Hyperbolicity; moved lemmas from AFP/Gromov_Hyperbolicity/Library_Complements | file | diff | annotate |