Header Location en IE

[Marvin]

Y si utilizas meta?...

Código PHP:

  function redirect($url){
    $delay = "0.1"; 
    $cadena = '<meta http-equiv="refresh" content="'.$delay.'; url='.$url.'">';
    print $cadena;
    exit;
}