| File | Size | Date |
|---|---|---|
| README | 5257 | 1990-07-29 |
| american | 3317 | 1990-02-02 |
| british | 3512 | 1990-02-02 |
| connectives | 706 | 1990-07-29 |
| dict.d | 8344 | 1990-07-29 |
| eign | 706 | 1990-07-29 |
| explain.d | 14220 | 1990-07-29 |
| papers | dir | |
| propernames | 8654 | 1990-07-29 |
| special | dir | |
| stop | 8216 | 1990-02-02 |
| web2 | 2486813 | 1990-07-29 |
| web2a | 1012730 | 1990-07-29 |
| words | 209785 | 1990-07-29 |