-- |
-- Module      : OAlg.Data.Statement
-- Description : statements on properties
-- Copyright   : (c) Erich Gut
-- License     : BSD3
-- Maintainer  : zerich.gut@gmail.com
module OAlg.Data.Statement
  ( module Def
  , module Prp
  )
  where

import OAlg.Data.Statement.Definition as Def
import OAlg.Data.Statement.Proposition as Prp