changeset 58881 | b9556a055632 |
parent 44860 | 56101fa00193 |
child 60500 | 903bb1495239 |
58880:0baae4311a9f | 58881:b9556a055632 |
---|---|
1 (* Author: Florian Haftmann, TU Muenchen *) |
1 (* Author: Florian Haftmann, TU Muenchen *) |
2 |
2 |
3 header {* Pretty syntax for lattice operations *} |
3 section {* Pretty syntax for lattice operations *} |
4 |
4 |
5 theory Lattice_Syntax |
5 theory Lattice_Syntax |
6 imports Complete_Lattices |
6 imports Complete_Lattices |
7 begin |
7 begin |
8 |
8 |