equal
deleted
inserted
replaced
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * January 2016: Florian Haftmann |
9 * January 2016: Florian Haftmann |
10 Abolition of compound operators INFIMUM and SUPREMUM |
10 Abolition of compound operators INFIMUM and SUPREMUM |
11 for complete lattices. |
11 for complete lattices. |
|
12 |
|
13 * March 2016: Florian Haftmann |
|
14 Abstract factorial rings with unique factorization. |
12 |
15 |
13 |
16 |
14 Contributions to Isabelle2016 |
17 Contributions to Isabelle2016 |
15 ----------------------------- |
18 ----------------------------- |
16 |
19 |