tip-lib-0.1.2: tons of inductive problems - support library and tools (Index - I)

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

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
:
$
/
=
\
All

Index - I

Id	Tip.Parser
idPos	Tip.Parser
IfToBoolOp	Tip.Passes
ifToBoolOp	Tip.Passes
ifView	Tip.Core
ImpLet	Tip.Haskell.Repr
Implies	Tip.Types, Tip.Core
ImpVar	Tip.Haskell.Repr
inContext	Tip.Scope
InL	Tip.Core
inline_match	Tip.Simplify, Tip.Passes
inner	Tip.Scope
InR	Tip.Core
insert	Tip.Utils.Rename
insertMany	Tip.Utils.Rename
InstDecl	Tip.Haskell.Repr
Int
1 (Data Constructor)	Tip.Haskell.Repr
2 (Data Constructor)	Tip.Types, Tip.Core
IntAdd	Tip.Types, Tip.Core
intBuiltin	Tip.Types, Tip.Core
IntDiv	Tip.Types, Tip.Core
Integer	Tip.Types, Tip.Core
intersperseWithPre	Tip.Pretty.Isabelle
IntGe	Tip.Types, Tip.Core
IntGt	Tip.Types, Tip.Core
IntLe	Tip.Types, Tip.Core
intLit	Tip.Core
IntLt	Tip.Types, Tip.Core
IntMod	Tip.Types, Tip.Core
IntMul	Tip.Types, Tip.Core
IntPat	Tip.Haskell.Repr
IntSub	Tip.Types, Tip.Core
intType	Tip.Core
isabelleKeywords	Tip.Pretty.Isabelle
isConstructor	Tip.Simplify
isGlobal	Tip.Scope
isLocal	Tip.Scope
isOp	Tip.Pretty.Haskell
isOperator	Tip.Haskell.Rename
isSort	Tip.Scope
isType	Tip.Scope
isTyVar	Tip.Scope