isabelle: File revisions

src/HOL/Analysis/Uniform_Limit.thy

Thu, 22 Feb 2018 15:17:25 +0100	immler	moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations	file \| diff \| annotate
Mon, 08 Jan 2018 17:11:25 +0000	paulson	moved in some material from Euler-MacLaurin	file \| diff \| annotate
Tue, 10 Oct 2017 17:15:37 +0100	paulson	Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems	file \| diff \| annotate
Fri, 10 Mar 2017 23:16:40 +0100	immler	modernized construction of type bcontfun; base explicit theorems on Uniform_Limit.thy; added some lemmas	file \| diff \| annotate
Tue, 21 Feb 2017 17:12:10 +0000	paulson	some new material, also recasting some theorems using “obtains”	file \| diff \| annotate
Tue, 21 Feb 2017 15:04:01 +0000	paulson	Some new lemmas. Existing lemmas modified to use uniform_limit rather than its expansion	file \| diff \| annotate
Mon, 17 Oct 2016 11:46:22 +0200	nipkow	setsum -> sum	file \| diff \| annotate
Mon, 08 Aug 2016 14:13:14 +0200	hoelzl	rename HOL-Multivariate_Analysis to HOL-Analysis.	file \| diff \| annotate \| base

isabelle