Depending on his version of norton he can do the following:
1) Open the main norton window by double clicking on the icon in the bottom left of the screen.
2) Click Reports
3) Click View report next to Activity Log,
This will show all the history of found virus’s and where the virus was found. Usually though norton will attempt to repair the file, failing that it will quarantine it, finally failing that it will delete the file completely. So he should have nothing to worry about,
Adam