twee-lib-2.1.5: An equational theorem prover (Index - E)

twee-lib-2.1.5: An equational theorem prover

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
:
$
&
<
|
All

Index - E

elems	Twee.Index
Empty	Twee.Term, Twee.Base
empty
1 (Function)	Twee.Term, Twee.Base
2 (Function)	Twee.PassiveQueue
3 (Function)	Twee.Index
4 (Function)	Twee.Rule.Index
emptySubst	Twee.Term, Twee.Base
enqueue	Twee
eqn_lhs	Twee.Equation
eqn_rhs	Twee.Equation
equals
1 (Function)	Twee.Pretty, Twee.Base
2 (Function)	Twee.Constraints
EqualsBonus	Twee.Base
Equation	Twee.Equation
equation	Twee.Proof
EquationOf	Twee.Equation
erase	Twee.Base
evalSubst	Twee.Term, Twee.Base
extend	Twee.Term, Twee.Base
Extended	Twee.Base
extendList	Twee.Term, Twee.Base