Name Last modified Size Description Parent Directory - dirlist.gz 1994-05-13 14:59 12K record0.gz 1994-05-13 14:01 477K record0.tar.gz 1994-05-13 15:03 482K