isabelle: File revisions

src/HOL/Analysis/Ordered_Euclidean_Space.thy

Sat, 14 Apr 2018 20:19:52 +0100	paulson	more new theorems on real^1, matrices, etc.	file \| diff \| annotate
Thu, 22 Feb 2018 15:17:25 +0100	immler	moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations	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, 18 Aug 2017 20:47:47 +0200	wenzelm	session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;	file \| diff \| annotate
Tue, 03 Jan 2017 16:48:49 +0000	paulson	A few new lemmas and needed adaptations	file \| diff \| annotate
Mon, 17 Oct 2016 11:46:22 +0200	nipkow	setsum -> sum	file \| diff \| annotate
Fri, 16 Sep 2016 13:56:51 +0200	hoelzl	move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel	file \| diff \| annotate
Mon, 08 Aug 2016 14:13:14 +0200	hoelzl	rename HOL-Multivariate_Analysis to HOL-Analysis.	file \| diff \| annotate \| base

isabelle