Skip to content
Success

Changes

Summary

  1. small changes to text
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)