-- |
-- Module      : OAlg.Data.Boolean
-- Description : boolean structures
-- Copyright   : (c) Erich Gut
-- License     : BSD3
-- Maintainer  : zerich.gut@gmail.com
-- 
-- boolean structure and propositions on them.
module OAlg.Data.Boolean
  ( module Bol
  , module Prp
  )
  where

import OAlg.Data.Boolean.Definition as Bol
import OAlg.Data.Boolean.Proposition as Prp