File | Size | Date |
---|---|---|
README | 5203 | 1988-07-15 |
american | 3317 | 1988-07-15 |
british | 3512 | 1988-07-15 |
connectives | 706 | 1983-03-08 |
papers | dir | |
special | dir | |
stop | 8216 | 1988-07-15 |
web2 | 2486813 | 1985-08-10 |
web2a | 1012730 | 1985-08-10 |
words | 209775 | 1988-07-15 |