Ma quale versione di php stai usando?

$_SESSION['prova'] non ha nulla a che vedere con $prova.

file1.php
Codice PHP:
<? 
session_start(); 
$_SESSION['prova']="Hop"; 
print "sessione: $_SESSION[prova]"; //qui c'e'
?>
file2.php
Codice PHP:
<? 
session_start(); 
print "sessione1: $_SESSION[prova]
"; // qui c'e'
session_unset(); 
session_destroy(); 
print "sessione2: $_SESSION[prova]"; // qui non c'e' piu'
?>
file3.php
Codice PHP:
<? 
session_start(); 
print "sessione: $_SESSION[prova]";  // qui non c'e'
?>
Prova....