| Fri, 12 Apr 2019 22:24:57 +0200 | wenzelm | formal URLs; | file | diff | annotate |
| Mon, 16 Jul 2018 17:50:07 +0200 | Manuel Eberl | Tagged some more files in HOL-Analysis | file | diff | annotate |
| Sun, 20 Aug 2017 18:55:03 +0200 | Manuel Eberl | More lemmas for HOL-Analysis | file | diff | annotate |
| Wed, 26 Apr 2017 15:53:35 +0100 | paulson | Further new material. The simprule status of some exp and ln identities was reverted. | file | diff | annotate |
| Thu, 16 Mar 2017 16:02:18 +0000 | paulson | Removed [simp] status for Complex_eq. Also tidied some proofs | file | diff | annotate |
| Mon, 17 Oct 2016 17:33:07 +0200 | nipkow | setprod -> prod | file | diff | annotate |
| Mon, 08 Aug 2016 14:13:14 +0200 | hoelzl | rename HOL-Multivariate_Analysis to HOL-Analysis. | file | diff | annotate | base |