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

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 - P

PackedId	Twee.PassiveQueue
PackedScore	Twee.PassiveQueue
packId	Twee.PassiveQueue
packScore	Twee.PassiveQueue
PageMode	Twee.Pretty, Twee.Base
parallel	Twee.Rule
Params
1 (Type/Class)	Twee.PassiveQueue
2 (Type/Class)	Twee
parens	Twee.Pretty, Twee.Base
partitionBy	Twee.Utils
Passive
1 (Type/Class)	Twee.PassiveQueue
2 (Data Constructor)	Twee.PassiveQueue
passive_pos	Twee.PassiveQueue
passive_rule1	Twee.PassiveQueue
passive_rule2	Twee.PassiveQueue
passive_score	Twee.PassiveQueue
pathToPosition	Twee.Term, Twee.Base
Permutative	Twee.Rule
pg_goal_hint	Twee.Proof
pg_name	Twee.Proof
pg_number	Twee.Proof
pg_proof	Twee.Proof
pg_witness_hint	Twee.Proof
Positions	Twee.CP
positions	Twee.CP
positionsChurch	Twee.CP
PositionsOf	Twee.CP
positionToPath	Twee.Term, Twee.Base
postfix	Twee.Pretty, Twee.Base
pPrint	Twee.Pretty, Twee.Base
pPrintEmpty	Twee.Pretty, Twee.Base
pPrintList	Twee.Pretty, Twee.Base
pPrintPrec	Twee.Pretty, Twee.Base
pPrintPresentation	Twee.Proof
pPrintSet	Twee.Pretty, Twee.Base
pPrintTerm	Twee.Pretty, Twee.Base
pPrintTuple	Twee.Pretty, Twee.Base
prefix	Twee.Pretty, Twee.Base
present	Twee.Proof
Presentation
1 (Type/Class)	Twee.Proof
2 (Data Constructor)	Twee.Proof
pres_axioms	Twee.Proof
pres_goals	Twee.Proof
pres_lemmas	Twee.Proof
Pretty	Twee.Pretty, Twee.Base
PrettyLevel
1 (Data Constructor)	Twee.Pretty, Twee.Base
2 (Type/Class)	Twee.Pretty, Twee.Base
prettyNormal	Twee.Pretty, Twee.Base
prettyParen	Twee.Pretty, Twee.Base
prettyPrint	Twee.Pretty, Twee.Base
prettyShow	Twee.Pretty, Twee.Base
PrettyTerm	Twee.Pretty, Twee.Base
Proof	Twee.Proof
properSubterms	Twee.Term, Twee.Base
ProvedGoal
1 (Type/Class)	Twee.Proof
2 (Data Constructor)	Twee.Proof
provedGoal	Twee.Proof
PStr	Twee.Pretty, Twee.Base
ptext	Twee.Pretty, Twee.Base
punctuate	Twee.Pretty, Twee.Base