src/HOL/Analysis/Ordered_Euclidean_Space.thy
Fri, 11 Jan 2019 19:05:26 +0100 nipkow tuned
Fri, 11 Jan 2019 18:41:50 +0100 nipkow tuned headers
Thu, 27 Dec 2018 19:48:28 +0100 nipkow tuned headers; ~ -> \<not>
Thu, 08 Nov 2018 09:11:52 +0100 haftmann removed relics of ASCII syntax for indexed big operators
Sun, 16 Sep 2018 14:13:08 +0100 paulson more lemmas
Tue, 28 Aug 2018 13:28:39 +0100 Angeliki KoutsoukouArgyraki tagged 21 theories in the Analysis library for the manual
Sun, 20 May 2018 18:37:34 +0100 paulson tidy up of Derivative
Tue, 08 May 2018 10:32:07 +0100 paulson tidying more messy proofs
Sat, 14 Apr 2018 20:19:52 +0100 paulson more new theorems on real^1, matrices, etc.
Thu, 22 Feb 2018 15:17:25 +0100 immler moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations
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
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Tue, 03 Jan 2017 16:48:49 +0000 paulson A few new lemmas and needed adaptations
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Fri, 16 Sep 2016 13:56:51 +0200 hoelzl move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
Mon, 08 Aug 2016 14:13:14 +0200 hoelzl rename HOL-Multivariate_Analysis to HOL-Analysis.
less more (0) tip