Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

updated Matrix_Relation_Algebras to development version

Changeset 8538:59541b541620 by guttmann: updated Matrix_Relation_Algebras to development version
The file was modified	`thys/Stone_Relation_Algebras/Matrix_Relation_Algebras.thy` (diff)