Código PHP:
session_start();
if ( ! empty($_SESSION['nombreSesion']))
{
// OK
}
else
{
header('Location: www.pagina.com');
}
y pues luego lo de siempre
Código HTML:
<<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>....