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