Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. added lemmas to Stone_Kleene_Relation_Algebras
  2. added definitions and lemmas to Stone_Relation_Algebras
Changeset 8537:83f548812c4d by guttmann:
added lemmas to Stone_Kleene_Relation_Algebras
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_Kleene_Relation_Algebras/Matrix_Kleene_Algebras.thy (diff)
The file was modified thys/Stone_Kleene_Relation_Algebras/document/root.bib (diff)
The file was modified thys/Stone_Kleene_Relation_Algebras/document/root.tex (diff)
Changeset 8536:13dfde265727 by guttmann:
added definitions and lemmas to Stone_Relation_Algebras
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)
The file was modified thys/Stone_Relation_Algebras/Semirings.thy (diff)