Proof.QED.Internal

data Exp

data Pat

data Var

data Con

data Prop

data Side

data Known

getKnown

data Unknown

getUnknown

data Goal

getGoal

data BadProof

badProof

isBadProof

data Laws

rewriteUnfold

rewriteEquivalent

rewriteRecurse

rewriteSplit

rewriteTautology