| Sun, 15 Jul 2018 10:40:45 +0100 | paulson | last bit of renaming | changeset | files |
| Sat, 14 Jul 2018 22:32:15 +0100 | paulson | de-applying | changeset | files |
| Sun, 15 Jul 2018 14:46:57 +0200 | Manuel Eberl | Added Real_Asymp package | changeset | files |
| Sun, 15 Jul 2018 01:14:04 +0100 | Wenda Li | Tagged Conformal_Mappings in HOL-Analysis | changeset | files |
| Fri, 13 Jul 2018 22:10:05 +0100 | paulson | merged | changeset | files |
| Fri, 13 Jul 2018 17:27:05 +0100 | paulson | merged | changeset | files |
| Fri, 13 Jul 2018 17:18:07 +0100 | paulson | de-applying | changeset | files |
| Fri, 13 Jul 2018 18:27:18 +0100 | Manuel Eberl | HOL-Analysis: Volume of a simplex, Heron's theorem | changeset | files |
| Fri, 13 Jul 2018 16:54:36 +0100 | Manuel Eberl | Tagged Ball_Volume and Gamma_Function in HOL-Analysis | changeset | files |
| Fri, 13 Jul 2018 15:42:18 +0200 | nipkow | correct import | changeset | files |
| Fri, 13 Jul 2018 15:00:38 +0200 | nipkow | merged | changeset | files |
| Fri, 13 Jul 2018 12:40:35 +0200 | nipkow | unit_cube = cbox 0 One | changeset | files |
| Fri, 13 Jul 2018 12:14:26 +0200 | immler | relaxed assumptions for dim_image_eq and dim_image_le | changeset | files |
| Thu, 12 Jul 2018 17:23:38 +0100 | paulson | merged | changeset | files |
| Thu, 12 Jul 2018 17:22:39 +0100 | paulson | de-applying (mostly Set_Interval) | changeset | files |