How has he deleted the history?
If he has just used Tools/Internet Options then there still maybe some left in Explorer. It may only be a cookie but there is a chance that there is some trace left.
iPhone X review
How to find a font: Discover the name of a typeface with these apps
The best iPhone for 2017
Comment créer un compte PayPal pour payer en ligne ?