equal
deleted
inserted
replaced
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * January 2021: Jakub Kądziołka |
9 * January 2021: Jakub Kądziołka |
10 Some lemmas for HOL-Computational_Algebra. |
10 Some lemmas for HOL-Computational_Algebra. |
11 |
11 |
|
12 * January 2021: Martin Rasyzk |
|
13 Fast set operations for red-black trees. |
12 |
14 |
13 Contributions to Isabelle2021 |
15 Contributions to Isabelle2021 |
14 ----------------------------- |
16 ----------------------------- |
15 |
17 |
16 * January 2021: Manuel Eberl |
18 * January 2021: Manuel Eberl |