/etc/isa/\backslashname/

• ../
• test.ML
• test.thy