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]