| changeset 33615 | 261abc2e3155 |
| parent 10157 | 6d3987f3aad9 |
| 33608:5c0024338cef | 33615:261abc2e3155 |
|---|---|
1 (* Title: HOL/Lattice/ROOT.ML |
1 (* Title: HOL/Lattice/ROOT.ML |
2 ID: $Id$ |
|
3 Author: Markus Wenzel, TU Muenchen |
2 Author: Markus Wenzel, TU Muenchen |
4 |
3 |
5 Basic theory of lattices and orders. |
4 Basic theory of lattices and orders. |
6 *) |
5 *) |
7 |
6 |
8 time_use_thy "CompleteLattice"; |
7 use_thys ["CompleteLattice"]; |