Hola,
Creo que lo unico que necesitas es cerrar el codigo php y poner lo que quieras del codigo de tu pagina (en el trozo de usuario registrado). Algo asi:
<?php
...
...
if($loginCorrecto) {
?>
Aqui todo el codigo html que quieras que se muestren a los usuarios registrados.
Por ejemplo, archivo restringido: <a href="documento.pdf">Ver documento</a>
...
...
<?php
}
else
{
echo "El sistema no lo ha identificado, solo los usuarios registrados tienen acceso a esta area";
}
?>
Espero que te sea de ayuda. Un saludo.