Thank you for your reply Tom. I did briefly notice some Windows related activity on the screen, but did not take any notice at the time. (I was away from the computer whilst Windows Repair was running and just caught a passing glimpse of some Microsoft related messages as I walked by.) I had set Windows Repair to shut down the computer when it had finished, so did not have a chance to observe any messages. There are a number of lessons arising from this event, namely:
1. Always create a Windows restore point before running Windows Repair
2. Always backup all document files before repairing
3. As an ultimate safeguard, create an image file of the hard drive before repairing
4. If there is a problem with the repair, always make a backup copy of the Repair log files to another drive before restoring
Given that I restored the hard drive from an image file (wiping out the log files) it is no longer possible to identify the problem, so we must put this event down to experience.