changeset 68548 | a22540ac7052 |
parent 68547 | 549a4992222f |
child 68630 | c55f6f0b3854 |
--- a/CONTRIBUTORS Fri Jun 29 22:14:33 2018 +0200 +++ b/CONTRIBUTORS Fri Jun 29 22:50:35 2018 +0200 @@ -42,7 +42,8 @@ Generalisation of complete_distrib_lattice * February 2018: Wenda Li - A unified definition for the order of zeros and poles. Improved reasoning around non-essential singularities. + A unified definition for the order of zeros and poles. Improved reasoning + around non-essential singularities. * January 2018: Sebastien Gouezel Various small additions to HOL-Analysis