ATBR.ATBR
(**************************************************************************)
(* 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. *)
(**************************************************************************)
(* 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.
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.