Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Stone_Algebras, Stone_Relation_Algebras: disambiguated dense, generalised extended reals to linear orders
  2. Stone_Algebras, Stone_Relation_Algebras: disambiguated dense, generalised extended reals to linear orders
Changeset 8088:b8e703159177 by guttmann@bitbucket.org:
Stone_Algebras, Stone_Relation_Algebras: disambiguated dense, generalised extended reals to linear orders
The file was addedthys/Stone_Relation_Algebras/Linear_Order_Matrices.thy
The file was removedthys/Stone_Relation_Algebras/Extended_Real_Matrices.thy
The file was removedthys/Stone_Relation_Algebras/Extended_Reals.thy
Changeset 8087:a99d8ed763c4 by guttmann:
Stone_Algebras, Stone_Relation_Algebras: disambiguated dense, generalised extended reals to linear orders
The file was modified thys/Stone_Algebras/Lattice_Basics.thy (diff)
The file was modified thys/Stone_Algebras/P_Algebras.thy (diff)
The file was modified thys/Stone_Algebras/ROOT (diff)
The file was modified thys/Stone_Relation_Algebras/Fixpoints.thy (diff)
The file was modified thys/Stone_Relation_Algebras/ROOT (diff)
The file was modified thys/Stone_Relation_Algebras/Relation_Algebras.thy (diff)
The file was modified thys/Stone_Relation_Algebras/Relation_Subalgebras.thy (diff)
The file was modified thys/Stone_Relation_Algebras/Semirings.thy (diff)
The file was modified thys/Stone_Relation_Algebras/document/root.bib (diff)
The file was modified thys/Stone_Relation_Algebras/document/root.tex (diff)