![[TXT]](../../.misc/text.gif){kind=small}
706 1983-03-09 connectives ASCII text file![[TXT]](../../.misc/binary.gif){kind=small}
50000 1986-06-06 hlista binary file (2104 non-ascii in 1st 4096) 50000 1986-06-06 hlistb binary file (2100 non-ascii in 1st 4096) 50000 1986-06-06 hstop binary file (91 non-ascii in 1st 4096)![[DIR]](../../.misc/folder.gif){kind=small}
4096 2016-12-26 papers directory with 6 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 198596 1986-01-11 words ASCII text file
