equal
deleted
inserted
replaced
40 |
40 |
41 * March 2018: Viorel Preoteasa |
41 * March 2018: Viorel Preoteasa |
42 Generalisation of complete_distrib_lattice |
42 Generalisation of complete_distrib_lattice |
43 |
43 |
44 * February 2018: Wenda Li |
44 * February 2018: Wenda Li |
45 A unified definition for the order of zeros and poles. Improved reasoning around non-essential singularities. |
45 A unified definition for the order of zeros and poles. Improved reasoning |
|
46 around non-essential singularities. |
46 |
47 |
47 * January 2018: Sebastien Gouezel |
48 * January 2018: Sebastien Gouezel |
48 Various small additions to HOL-Analysis |
49 Various small additions to HOL-Analysis |
49 |
50 |
50 * December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel |
51 * December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel |