equal
deleted
inserted
replaced
15 |
15 |
16 * Summer 2015: Manuel Eberl and Florian Haftmann, TUM |
16 * Summer 2015: Manuel Eberl and Florian Haftmann, TUM |
17 Type class hierarchy with common algebraic notions of integral |
17 Type class hierarchy with common algebraic notions of integral |
18 (semi)domains like units, associated elements and normalization |
18 (semi)domains like units, associated elements and normalization |
19 wrt. units. |
19 wrt. units. |
|
20 |
|
21 * Summer 2015: Florian Haftmann, TUM |
|
22 Fundamentals of abstract type class for factorial rings. |
20 |
23 |
21 |
24 |
22 Contributions to Isabelle2015 |
25 Contributions to Isabelle2015 |
23 ----------------------------- |
26 ----------------------------- |
24 |
27 |