Bueno hice un par de pruebas y al no lograr buenos resultados intenté usar POST en lugar de GET. Mi sorpresa es que si funcionó, vaya uno a saber por qué. La función modificada quedó así:
Código PHP:
function muestra()
{
var div=document.getElementById("div");
div.innerHTML="";
var ajax=nuevoAjax();
ajax.open("POST", "prueba_proceso.php?", true);
ajax.setRequestHeader('Content-Type', 'application/x-www-form-urlencoded');
ajax.send("datos=si");
ajax.onreadystatechange=function()
{
if (ajax.readyState==4)
{
alert(ajax.status);
div.innerHTML=ajax.responseText;
}
}
}
Saludos!