Summary
- small changes to text
The file was modified | thys/Stone_Algebras/P_Algebras.thy (diff) |
The file was modified | thys/Stone_Algebras/document/root.bib (diff) |
The file was modified | thys/Stone_Algebras/P_Algebras.thy (diff) |
The file was modified | thys/Stone_Algebras/document/root.bib (diff) |