equal
deleted
inserted
replaced
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 |
20 |
21 * Summer 2015: Florian Haftmann, TUM |
21 * Summer 2015: Florian Haftmann, TUM |
22 Fundamentals of abstract type class for factorial rings. |
22 Fundamentals of abstract type class for factorial rings. |
|
23 |
|
24 * Summer 2015: Julian Biendarra, TUM and Dmitriy Traytel, ETH Zurich |
|
25 Command to lift a BNF structure on the raw type to the abstract type |
|
26 for typedefs. |
23 |
27 |
24 |
28 |
25 Contributions to Isabelle2015 |
29 Contributions to Isabelle2015 |
26 ----------------------------- |
30 ----------------------------- |
27 |
31 |