| 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 |