Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Stone_Relation_Algebras, Stone_Kleene_Relation_Algebras: updates following recent reviews
Changeset 9163:1410c9dccf23 by walter guttmann _walter.guttmann@canterbury.ac.nz_:
Stone_Relation_Algebras, Stone_Kleene_Relation_Algebras: updates following recent reviews
The file was modified thys/Stone_Kleene_Relation_Algebras/Kleene_Algebras.thy (diff)
The file was modified thys/Stone_Kleene_Relation_Algebras/Kleene_Relation_Algebras.thy (diff)
The file was modified thys/Stone_Relation_Algebras/Linear_Order_Matrices.thy (diff)
The file was modified thys/Stone_Relation_Algebras/Matrix_Relation_Algebras.thy (diff)
The file was modified thys/Stone_Relation_Algebras/Relation_Algebras.thy (diff)