Name | Format | # Lines | Size | Date |
---|---|---|---|---|
connectives | Text File | 151 | 706 b | 2001-09-17 |
propernames | Text File | 1,324 | 8.4 KB | 2001-09-17 |
README | Text File | 13 | 516 b | 2001-09-17 |
web2 | Text File | 234,938 | 2.4 MB | 2001-09-17 |
web2a | Text File | 76,206 | 989.0 KB | 2001-09-17 |
![]() | Text File | 234,938 | 2.4 MB | 2001-09-17 |