Library ATBR.ATBR

Import this file to gain access to all algebraic structures and tools. To work with matrices, import file Matrices.v

Require Export Common.
Require Export Classes.
Require Export Graph.
Require Export Monoid.
Require Export SemiLattice.
Require Export SemiRing.
Require Export KleeneAlgebra.
Require Export Converse.
Require Export DecideKleeneAlgebra.