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 |