tip-lib-0.2.2: tons of inductive problems - support library and tools

Index - I

IdTip.Parser
idPosTip.Parser
IfToBoolOpTip.Passes
ifToBoolOpTip.Pass.Booleans, Tip.Passes
ifViewTip.Core
IHTip.Types, Tip.Core
ImpLetTip.Haskell.Repr
ImpliesTip.Types, Tip.Core
ImpVarTip.Haskell.Repr
inContextTip.Scope
InductionTip.Passes
inductionTip.Passes
InfoTip.Types, Tip.Core
InLTip.Core
inline_matchTip.Simplify, Tip.Passes
innerTip.Scope
InRTip.Core
insertTip.Utils.Rename
insertManyTip.Utils.Rename
InstTip.Utils.Specialiser
InstDeclTip.Haskell.Repr
Int 
1 (Data Constructor)Tip.Haskell.Repr
2 (Data Constructor)Tip.Types, Tip.Core
IntAddTip.Types, Tip.Core
intBuiltinTip.Types, Tip.Core
IntDivTip.Types, Tip.Core
IntegerTip.Types, Tip.Core
intersperseWithPreTip.Pretty.Isabelle
IntGeTip.Types, Tip.Core
IntGtTip.Types, Tip.Core
IntLeTip.Types, Tip.Core
intLitTip.Core
IntLtTip.Types, Tip.Core
IntModTip.Types, Tip.Core
IntMulTip.Types, Tip.Core
IntPatTip.Haskell.Repr
IntSubTip.Types, Tip.Core
IntToNatTip.Passes
intToNatTip.Passes
intTypeTip.Core
isabelleKeywordsTip.Pretty.Isabelle
isConstructorTip.Simplify
isFalseNameTip.Pass.Booleans
isGlobalTip.Scope
isLazySmallCheckTip.Haskell.Translate
isLocalTip.Scope
isOpTip.Pretty.Haskell
isOperatorTip.Haskell.Rename
isSmtenTip.Haskell.Translate
isSortTip.Scope
isTrueNameTip.Pass.Booleans
isTypeTip.Scope
isTyVarTip.Scope