| Fri, 26 Apr 2019 16:51:40 +0100 | paulson | Added embedding_map_into_euclideanreal; reduced dependence on Equivalence_Lebesgue_Henstock_Integration in Analysis theories by moving a few lemmas | file | diff | annotate |
| Fri, 12 Apr 2019 22:09:25 +0200 | wenzelm | modernized tags: default scope excludes proof; | file | diff | annotate |
| Sat, 29 Dec 2018 15:43:53 +0100 | nipkow | capitalize proper names in lemma names | file | diff | annotate |
| Thu, 27 Dec 2018 19:48:28 +0100 | nipkow | tuned headers; ~ -> \<not> | file | diff | annotate |
| Sun, 11 Nov 2018 16:08:59 +0100 | nipkow | tuned | file | diff | annotate |
| Mon, 22 Oct 2018 19:03:47 +0200 | Manuel Eberl | Tagged some theories in HOL-Analysis | file | diff | annotate |
| Mon, 24 Sep 2018 14:30:09 +0200 | nipkow | Prefix form of infix with * on either side no longer needs special treatment | file | diff | annotate |