Changes

Summary

Changeset 7277:7aad1b1a3079 by guttmann: 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)