/lib/encodings/
drwxr-xr-x [up]
-rw-r--r-- 1999-03-11 12:33 +0100 768 isabelle-0