Fri, 12 Apr 2019 22:09:25 +0200 | wenzelm | modernized tags: default scope excludes proof; | file | diff | annotate |
Tue, 01 Jan 2019 21:47:27 +0100 | wenzelm | more antiquotations -- less LaTeX macros; | file | diff | annotate |
Fri, 28 Dec 2018 10:29:59 +0100 | nipkow | tuned style and headers | file | diff | annotate |
Wed, 29 Aug 2018 07:50:28 +0100 | immler | tagged some theories | file | diff | annotate |
Sun, 20 May 2018 20:14:30 +0100 | paulson | one last fix | file | diff | annotate |
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 |