ATBR.ATBR_Matrices

(**************************************************************************)
(*  This is part of ATBR, it is distributed under the terms of the        *)
(*         GNU Lesser General Public License version 3                    *)
(*              (see file LICENSE for more details)                       *)
(*                                                                        *)
(*       Copyright 2009-2011: Thomas Braibant, Damien Pous.               *)
(**************************************************************************)

Import this file to gain access to all algebraic structures and tools, including those about matrices

Require Export ATBR.
Require Export MxGraph MxSemiLattice MxSemiRing MxKleeneAlgebra.