Test files for multiple file handling with Isabelle/Isar
(see also isa/multiple/README).