--------------------------------------------------------------------------------

module Copilot.Theorem
  ( module X
  , Proof
  , PropId, PropRef
  , Universal, Existential
  ) where

import Copilot.Theorem.Tactics as X
import Copilot.Theorem.Prove

--------------------------------------------------------------------------------