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
|
S | |
simplifier [Conditions] | |
simplifier [Wp.Conditions] | |
T | |
tactical [Tactical] | |
tactical [Wp.Tactical] |