/src/ZF/Induct/document/
drwxr-xr-x [up]
-rw-r--r-- 2002-05-21 13:06 +0200 420 root.tex