As in the 1-0 win against Norway in Oslo, this was an England performance built on the foundations of solid defence and tactical discipline.2012 June 2, Phil McNulty, “England 1-0 Belgium”, in BBC Sport:
2
Of or relating to military operations that are smaller or more local than strategic ones.
tactical nuclear weapon
There are already hopes that actual tactical surprise has been attained, and we hope to furnish the enemy with a succession of surprises during the course of the fighting.1944 June 7, Winston Churchill, speech to House of Commons
3
Adroit, skilful or ingenious.
4
Engineering, Firearms, Government, Military, Natural sciences, Physical sciences, Politics, Tools, War, Weaponry Having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration.
The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics.2013, Adam Chlipala, Certified Programming with Dependent Types:
2
A private war reenactment event involving mock battles or skirmishes.