Potresti risolvere utilizzando la funzione header() subito dopo aver elaborato il file txt,
esempio:
miapagina.php e' la pagina del form.Codice PHP:
// In questo punto avviene l'elaborazione del file di testo
header('Location: ./miapagina.php');
In questo modo, dopo le modifiche, i dati in POST non dovrebbero più esistere.
Ciao