| Name | Date | Size | |
|---|---|---|---|
| .. | 2013-07-04 05:46:52 | 7 | |
| Simple_Implications_Group.tptp | 1970-01-01 01:00:00 | 0 | |
| zfmisc_1__t92_zfmisc_1.p | 1970-01-01 01:00:00 | 0 |
| Name | Date | Size | |
|---|---|---|---|
| .. | 2013-07-04 05:46:52 | 7 | |
| Simple_Implications_Group.tptp | 1970-01-01 01:00:00 | 0 | |
| zfmisc_1__t92_zfmisc_1.p | 1970-01-01 01:00:00 | 0 |