![[TXT]](../../.misc/alert.black.gif){kind=small}
5203 1988-07-16 README readme file![[TXT]](../../.misc/text.gif){kind=small}
706 1983-03-09 connectives ASCII text file![[TXT]](../../.misc/binary.gif){kind=small}
50000 1999-11-27 hlista binary file (2177 non-ascii in 1st 4096) 50000 1999-11-27 hlistb binary file (2174 non-ascii in 1st 4096) 50000 1999-11-27 hstop binary file (91 non-ascii in 1st 4096)![[DIR]](../../.misc/folder.gif){kind=small}
4096 2016-12-26 papers directory with 7 files![[LNK]](../../.misc/link.gif){kind=small}
0 2016-12-16 spellhist -> /dev/null 2486813 1985-08-10 web2 ASCII text file 1012730 1985-08-10 web2a ASCII text file 209775 1988-07-16 words ASCII text file
