En comprobar_provisional.php pones "session_start()", lo tienes que poner antes de imprimir cualquier código html.
Después, en esa misma página, cuando hayas comprobado que el usuario y contraseña son correctos, le asignas algún atributo en la sesión, por ejemplo:
Y ya.
Ahora en la accion, antes del "include", pones:
Código PHP:
Ver originalif($_SESSION['Logueado'] == TRUE) {
//Código php para usuario logueado
} else {
//Código php para usuario no logueado
}
No sé si era esto lo que querías