equal
deleted
inserted
replaced
11 for complete lattices. |
11 for complete lattices. |
12 |
12 |
13 * March 2016: Florian Haftmann |
13 * March 2016: Florian Haftmann |
14 Abstract factorial rings with unique factorization. |
14 Abstract factorial rings with unique factorization. |
15 |
15 |
|
16 * March 2016: Andreas Lochbihler |
|
17 Reasoning support for monotonicity, continuity and |
|
18 admissibility in chain-complete partial orders. |
16 |
19 |
17 Contributions to Isabelle2016 |
20 Contributions to Isabelle2016 |
18 ----------------------------- |
21 ----------------------------- |
19 |
22 |
20 * Winter 2016: Manuel Eberl, TUM |
23 * Winter 2016: Manuel Eberl, TUM |