| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Jul-2019 | 18 | ||
| Benchmarks/ | H | 25-Jul-2019 | 6 | |
| CCL/ | H | 25-Jul-2019 | 14 | |
| CTT/ | H | 25-Jul-2019 | 7 | |
| Cube/ | H | 25-Jul-2019 | 5 | |
| Doc/ | H | 25-Jul-2019 | 38 | |
| FOL/ | H | 25-Jul-2019 | 10 | |
| FOLP/ | H | 25-Jul-2019 | 11 | |
| HOL/ | H | 25-Jul-2019 | 169 | |
| LCF/ | H | 25-Jul-2019 | 5 | |
| Provers/ | H | 25-Jul-2019 | 14 | |
| Pure/ | H | 25-Jul-2019 | 76 | |
| Sequents/ | H | 25-Jul-2019 | 17 | |
| Tools/ | H | 25-Jul-2019 | 32 | |
| ZF/ | H | 25-Jul-2019 | 56 |