Index of class types

B
browser [GuiTactic]
C
composer [GuiTactic]
composer [Tactical]
composer [Wp.Tactical]
E
engine [Vlist]
F
feedback [Tactical]
feedback [Wp.Tactical]
G
generator [Wpo]
generator [Wp.Wpo]
H
heuristic [Strategy]
heuristic [Wp.Strategy]
P
pattern [ProverTask]

never fails

pattern [Wp.ProverTask]

never fails

S
simplifier [Lang]
simplifier [Wp.Lang]
T
tactical [Tactical]
tactical [Wp.Tactical]