equal
deleted
inserted
replaced
31 Abstract bit operations push_bit, take_bit, drop_bit, alongside with an |
31 Abstract bit operations push_bit, take_bit, drop_bit, alongside with an |
32 algebraic foundation for bit strings and word types in HOL-ex. |
32 algebraic foundation for bit strings and word types in HOL-ex. |
33 |
33 |
34 * March 2018: Viorel Preoteasa |
34 * March 2018: Viorel Preoteasa |
35 Generalisation of complete_distrib_lattice |
35 Generalisation of complete_distrib_lattice |
|
36 |
|
37 * February 2018: Wenda Li |
|
38 A unified definition for the order of zeros and poles. Improved reasoning around non-essential singularities. |
36 |
39 |
37 * January 2018: Sebastien Gouezel |
40 * January 2018: Sebastien Gouezel |
38 Various small additions to HOL-Analysis |
41 Various small additions to HOL-Analysis |
39 |
42 |
40 * December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel |
43 * December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel |