| Name | Date | Size | |
|---|---|---|---|
| .. | 2015-09-14 10:35:55 | 10 | |
| Simple_Implications_Group.tptp | 2015-08-05 17:42:10 | 679 | |
| zfmisc_1__t92_zfmisc_1.p | 2015-09-14 10:35:55 | 1.4 KiB |
| Name | Date | Size | |
|---|---|---|---|
| .. | 2015-09-14 10:35:55 | 10 | |
| Simple_Implications_Group.tptp | 2015-08-05 17:42:10 | 679 | |
| zfmisc_1__t92_zfmisc_1.p | 2015-09-14 10:35:55 | 1.4 KiB |