![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00all | 2013-09-04 13:10 | 1.7M | |
| 00allproved | 2018-01-04 10:58 | 780K | |
| 00art | 2018-01-04 11:06 | 9.6K | |
| 00proved1 | 2018-01-04 12:22 | 7.1K | |
| 00provedEvo | 2018-01-04 12:23 | 8.1K | |
| big_procal_1__t32_procal_1 | 2018-01-18 08:21 | 84M | |
| n10b.in.p1 | 2018-01-05 23:53 | 4.7K | |
| n10b.in.tptp | 2018-01-05 23:49 | 44M | |
| problems_small_consist/ | 2013-09-04 13:14 | - | |
| prof/ | 2018-01-23 10:44 | - | |
| wl02 | 2017-10-09 15:39 | 36M | |
| wl02u | 2018-01-04 11:02 | 23M | |
| wl02u1 | 2018-01-04 15:32 | 23M | |
| wl32 | 2017-10-09 15:39 | 19M | |
| wl32u | 2018-01-04 11:02 | 12M | |