equal
deleted
inserted
replaced
3 listed as an author in one of the source files of this Isabelle distribution. |
3 listed as an author in one of the source files of this Isabelle distribution. |
4 |
4 |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * January 2016: Florian Haftmann |
|
10 Abolition of compound operators INFIMUM and SUPREMUM |
|
11 for complete lattices. |
8 |
12 |
9 |
13 |
10 Contributions to Isabelle2016 |
14 Contributions to Isabelle2016 |
11 ----------------------------- |
15 ----------------------------- |
12 |
16 |