equal
deleted
inserted
replaced
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * March 2018: Florian Haftmann |
9 * March 2018: Florian Haftmann |
10 Abstract bit operations push_bit, push_take, push_drop, alongside |
10 Abstract bit operations push_bit, take_bit, drop_bit, alongside |
11 with an algebraic foundation for bit strings and word types in |
11 with an algebraic foundation for bit strings and word types in |
12 HOL-ex. |
12 HOL-ex. |
13 |
13 |
14 * March 2018: Viorel Preoteasa |
14 * March 2018: Viorel Preoteasa |
15 Generalisation of complete_distrib_lattice |
15 Generalisation of complete_distrib_lattice |