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