Test files for multiple file handling with Isabelle.