Index of class types

B
browser [GuiTactic]
C
composer [GuiTactic]
composer [Tactical]
composer [Wp.Tactical]
computer [Generator]
E
engine [Vlist]
F
feedback [Tactical]
feedback [Wp.Tactical]
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]