changed list_tactic to list-tactic in doc files, where not the ML type