equal
deleted
inserted
replaced
3 listed as an author in one of the source files of this Isabelle distribution. |
3 listed as an author in one of the source files of this Isabelle distribution. |
4 |
4 |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * April 2018: Jose Divasón (Universidad de la Rioja), |
|
10 Jesús Aransay (Universidad de la Rioja), Johannes Hölzl (VU Amsterdam), |
|
11 Fabian Immler (TUM) |
|
12 Generalizations in the formalization of linear algebra. |
|
13 |
8 |
14 |
9 * March 2018: Florian Haftmann |
15 * March 2018: Florian Haftmann |
10 Abstract bit operations push_bit, push_take, push_drop, alongside |
16 Abstract bit operations push_bit, push_take, push_drop, alongside |
11 with an algebraic foundation for bit strings and word types in |
17 with an algebraic foundation for bit strings and word types in |
12 HOL-ex. |
18 HOL-ex. |