hola, a simple vista ese codigo esta bien, no tiene errores, yo tambien suelo tener guerra con sassion_start(); y queo recordar que una vez lo solucione poniendo session_start(); en otra fila k no sea <?php, parece una tonteria, pero prueba.
tambien, comprueba los includes k haces y las sessiones k hay en ellas...
y otra cosa k puedes hacer, pon session_start(); donde creas la session, es decir, asi:
session_start();
$_SESSION['user']="$user";
$_SESSION['pass']=md5($pass);
salu2