Вообще-то "Гарри" - это сокращенная, простонародная форма и от "Гарольд", и от "Генри". Как самостоятельное, это имя вряд ли появилось раньше конца XIX в.