src/HOL/Analysis/Lipschitz.thy
Tue, 31 Mar 2020 15:51:15 +0200 nipkow cleaned proofs
Fri, 29 Nov 2019 15:06:04 +0100 nipkow tuned
Wed, 09 Oct 2019 14:51:54 +0000 haftmann dedicated fact collections for algebraic simplification rules potentially splitting goals
Tue, 27 Aug 2019 22:43:19 +0200 immler fixed typo
Tue, 27 Aug 2019 22:41:47 +0200 immler moved lemmas; reduced dependencies of Lipschitz
Fri, 12 Apr 2019 22:09:25 +0200 wenzelm modernized tags: default scope excludes proof;
Tue, 01 Jan 2019 21:47:27 +0100 wenzelm more antiquotations -- less LaTeX macros;
Fri, 28 Dec 2018 10:29:59 +0100 nipkow tuned style and headers
Wed, 29 Aug 2018 07:50:28 +0100 immler tagged some theories
Sun, 20 May 2018 20:14:30 +0100 paulson one last fix
Sat, 14 Apr 2018 09:23:00 +0100 paulson new material about vec, real^1, etc.
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
less more (0) tip