/Journal/
drwxr-xr-x [up]
drwxr-xr-x document
-rwxr-xr-x 2012-12-21 13:30 +0000 69003 Paper.thy
-rwxr-xr-x 2012-12-21 13:30 +0000 16 ROOT.ML