{-# LANGUAGE Safe #-}

module Logic.Theory (
  module Logic.Theory.Arithmetic,
  module Logic.Theory.Bool,
  module Logic.Theory.Eq,
  module Logic.Theory.List,
  module Logic.Theory.Ord,
  module Logic.Theory.Semigroup,
) where

import Logic.Theory.Arithmetic
import Logic.Theory.Bool
import Logic.Theory.Eq
import Logic.Theory.List
import Logic.Theory.Ord
import Logic.Theory.Semigroup