Officer who used fake name Michael Scott told his managers about incident with TOM member in 1970s
An undercover officer punched an activist who had accused him of being a police spy, a public inquiry has been told.
The officer, who used the fake name Michael Scott, broke his little finger as a result of hitting the activist after the accusation had been made at a political meeting.
