qed-0.0: Simple prover

Index

AppProof.QED.Internal
assumedProof.QED.Internal
atProof.QED
BadProof 
1 (Type/Class)Proof.QED.Internal
2 (Data Constructor)Proof.QED.Internal
badProofProof.QED.Internal
bhsProof.QED
BindProof.QED
bindProof.QED
CProof.QED.Internal
CaseProof.QED.Internal
cheaterProof.QED.Internal
Con 
1 (Data Constructor)Proof.QED.Internal
2 (Type/Class)Proof.QED.Internal
declProof.QED
definitionsProof.QED.Internal
divideProof.QED
ExpProof.QED.Internal
expandProof.QED
focusAtProof.QED.Internal
focusSideProof.QED.Internal
fromConProof.QED.Internal
fromVarProof.QED.Internal
getGoalProof.QED.Internal
getKnownProof.QED.Internal
getUnknownProof.QED.Internal
Goal 
1 (Type/Class)Proof.QED.Internal
2 (Data Constructor)Proof.QED.Internal
goalsProof.QED.Internal
importsProof.QED
isBadProofProof.QED.Internal
Known 
1 (Type/Class)Proof.QED.Internal
2 (Data Constructor)Proof.QED.Internal
LamProof.QED.Internal
lawProof.QED
Laws 
1 (Type/Class)Proof.QED.Internal, Proof.QED
2 (Data Constructor)Proof.QED.Internal
lawsProof.QED
LetProof.QED.Internal
LHSProof.QED.Internal
lhsProof.QED
manyProof.QED
PatProof.QED.Internal
PConProof.QED.Internal
perhapsProof.QED
ProofProof.QED
Prop 
1 (Type/Class)Proof.QED.Internal
2 (Data Constructor)Proof.QED.Internal
PropStringProof.QED
proveProof.QED
provedProof.QED.Internal
PWildProof.QED.Internal
QEDProof.QED
qedProof.QED
qedCheatProof.QED
recurseProof.QED
rewriteEquivalentProof.QED.Internal
rewriteRecurseProof.QED.Internal
rewriteSplitProof.QED.Internal
rewriteTautologyProof.QED.Internal
rewriteUnfoldProof.QED.Internal
RHSProof.QED.Internal
rhsProof.QED
satisfyProof.QED
SideProof.QED.Internal
skipProof.QED
strictProof.QED
thriceProof.QED
twiceProof.QED
typesProof.QED.Internal
unfoldProof.QED
unfold_Proof.QED
Unknown 
1 (Type/Class)Proof.QED.Internal
2 (Data Constructor)Proof.QED.Internal
unletProof.QED
unsafeCheatProof.QED
VProof.QED.Internal
Var 
1 (Data Constructor)Proof.QED.Internal
2 (Type/Class)Proof.QED.Internal