src/HOL/Analysis/Euclidean_Space.thy
6 months ago immler 2018-12-27 most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies
6 months ago immler 2018-12-27 moved dependency
9 months ago nipkow 2018-09-24 Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
12 months ago immler 2018-07-13 relaxed assumptions for dim_image_eq and dim_image_le
12 months ago nipkow 2018-07-12 more economic tagging
13 months ago paulson 2018-05-28 more general tidying
14 months ago immler 2018-05-02 added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly
15 months ago immler 2018-04-06 a first shot at tagging for HOL-Analysis manual
16 months ago immler 2018-02-22 moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2017-06-21 paulson 2017-06-21 Tidying up integration theory and some new theorems
2017-01-04 paulson 2017-01-04 Many new theorems, and more tidying
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-09-30 hoelzl 2016-09-30 HOL-Analysis: move Product_Vector and Inner_Product from Library
2016-09-28 paulson 2016-09-28 new material connected with HOL Light measure theory, plus more rationalisation
2016-09-22 paulson 2016-09-22 More mainly topological results
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.