structural-induction-0.2.0.1: Instantiate structural induction schemas for algebraic data types

Index

:~Induction.Structural
ArgInduction.Structural
caseAnalysisInduction.Structural
ConInduction.Structural
conclusionInduction.Structural
ExpInduction.Structural
FunInduction.Structural
hypothesesInduction.Structural
HypothesisInduction.Structural
implicitInduction.Structural
lincInduction.Structural
linObligationInduction.Structural
linObligationsInduction.Structural
lintInduction.Structural
linTermInduction.Structural
linvInduction.Structural
NonRecInduction.Structural
Obligation 
1 (Type/Class)Induction.Structural
2 (Data Constructor)Induction.Structural
PredicateInduction.Structural
RecInduction.Structural
renderInduction.Structural
strStyleInduction.Structural
Style 
1 (Type/Class)Induction.Structural
2 (Data Constructor)Induction.Structural
subtermInductionInduction.Structural
tagInduction.Structural
TaggedInduction.Structural
TaggedObligationInduction.Structural
TermInduction.Structural
textInduction.Structural
TyEnvInduction.Structural
unTagInduction.Structural
unTagMInduction.Structural
unTagMapMInduction.Structural
VarInduction.Structural