changeset 29629 | 5111ce425e7a |
parent 27368 | 9f90ac19e32b |
child 29996 | c09f348ca88a |
29628:d9294387ab0e | 29629:5111ce425e7a |
---|---|
1 (* |
1 (* Title: HOL/Library/Boolean_Algebra.thy |
2 ID: $Id$ |
2 Author: Brian Huffman |
3 Author: Brian Huffman |
|
4 |
|
5 Boolean algebras as locales. |
|
6 *) |
3 *) |
7 |
4 |
8 header {* Boolean Algebras *} |
5 header {* Boolean Algebras *} |
9 |
6 |
10 theory Boolean_Algebra |
7 theory Boolean_Algebra |