Не сочтите... охото разобраться.
Вот код из первого поста - всё работает и в IE
http://tmp004.jcase.ru/
<?php
session_start();
header("Content-type: text/txt");
header("Content-Disposition: attachment; filename=\"aaaaaaaaaaa.txt\"");
echo 'sdvsdvsdvsdv';
?>