Thu, 03 May 2018 18:49:10 +0200 | immler | merged | changeset | files |
Thu, 03 May 2018 16:17:44 +0200 | immler | fixed HOL-Analysis | changeset | files |
Thu, 03 May 2018 15:07:14 +0200 | immler | merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space) | changeset | files |