module Proof.QED.Internal(
    Exp(..), Pat(..), Var(..), Con(..),
    Prop(..),
    Side(..),
    Known(..), getKnown,
    Unknown(..), getUnknown,
    Goal(..), getGoal,
    BadProof(..), badProof, isBadProof,
    Laws(..),
    module Proof.QED.Trusted
    ) where

import Proof.Exp.Core
import Proof.Exp.Prop
import Proof.QED.Type
import Proof.QED.Trusted