Pues si la página index.php es así:
Código:
<html>
<head>
<?php
function VerHola(){
header('location: hola.html');
}
?>
</head>
<body>
<form>
<input name="boton" type="button" value="Enviar" />
</form>
</body>
</html>
se abre la página index.php y no la página hola.html, por eso creo que el evento onclick del botón se dispara solo