equal
deleted
inserted
replaced
2 Author: Amine Chaieb and L C Paulson, University of Cambridge |
2 Author: Amine Chaieb and L C Paulson, University of Cambridge |
3 Author: Johannes Hölzl, TU München |
3 Author: Johannes Hölzl, TU München |
4 Author: Luke S. Serafin, Carnegie Mellon University |
4 Author: Luke S. Serafin, Carnegie Mellon University |
5 *) |
5 *) |
6 |
6 |
7 header {* Conditionally-complete Lattices *} |
7 section {* Conditionally-complete Lattices *} |
8 |
8 |
9 theory Conditionally_Complete_Lattices |
9 theory Conditionally_Complete_Lattices |
10 imports Main |
10 imports Main |
11 begin |
11 begin |
12 |
12 |