/etc/isa/\backslashname/
../
test.ML
test.thy