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

module Copilot.Kind
  ( module Copilot.Kind.Prover 
  , module Copilot.Kind.Prove
  , module Copilot.Kind.ProofScheme
  --, module Copilot.Kind.Lib
  ) where
  
  
import Copilot.Kind.ProofScheme
import Copilot.Kind.Prove
import Copilot.Kind.Prover
-- import Copilot.Kind.Lib

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