/Paper/
drwxr-xr-x [up]
drwxr-xr-x document
-rwxr-xr-x 2012-12-21 18:06 +0000 61664 Paper.thy
-rwxr-xr-x 2012-12-21 18:06 +0000 16 ROOT.ML
-rwxr-xr-x 2012-12-21 18:06 +0000 5551 tt.thy