-rw-r--      22582 Apr 21 16:57 areas.stats
-rw-r--       8279 Apr 22 17:03 README
-rw-r--     344747 May  1 18:04 bibliography.dsc
-rw-r--     466736 May  1 20:26 bibliography.dvi
-rw-r--     694972 May  1 20:26 bibliography.ps
drwxr-x       2048 May  4 03:31 Ai
drwxr-x        512 May  4 03:31 Abbrev
drwxr-x       1024 May  4 03:31 Database
drwxr-x       1536 May  4 03:31 Distributed
drwxr-x       1536 May  4 03:31 Compiler
drwxr-x        512 May  4 03:31 Graphics
drwxr-x       3072 May  4 03:31 Misc
drwxr-x        512 May  4 03:31 Math
drwxr-x       1024 May  4 03:31 Neural
drwxr-x        512 May  4 03:31 Object
drwxr-x       2560 May  4 03:31 Parallel
drwxr-x       2048 May  4 03:31 Theory
drwxr-x       4608 May  4 03:31 Techreports
drwxr-x       9216 May  4 03:31 www
drwxr-x       1024 May  4 03:31 Typesetting
drwxr-x        512 May  4 03:31 tools
