Muchas gracias acoevil y okram por vuestras respuestas!
así que quedaría:
Código PHP:
if(isset($_SESSION['variable'])) //que variable de sessión tengo que poner?? porque solo he hecho session_start();
{
header("location:index.php"); //redirecciona a index.php, en cuantos segundos??
}
else
{
}
SALUDOS!