![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| cls_unanimity__def_1.p | 2024-10-04 18:21 | 381 | |
| cls_ATP__Linkup_Oequal__imp__fequal_0.p | 2024-10-04 18:21 | 158 | |
| cls_mem__def_1.p | 2024-10-04 18:21 | 170 | |
| cls_dictator__def_2.p | 2024-10-04 18:21 | 310 | |
| cls_ATP__Linkup_Ofequal__imp__equal_0.p | 2024-10-04 18:21 | 186 | |
| cls_u_0.p | 2024-10-04 18:21 | 128 | |
| cls_mem__def_0.p | 2024-10-04 18:21 | 170 | |
| cls_IIA__def_4.p | 2024-10-04 18:21 | 363 | |
| cls_dictator__def_1.p | 2024-10-04 18:21 | 396 | |
| cls_assms_I3_J_0.p | 2024-10-04 18:21 | 131 | |
| cls_dictator__def_0.p | 2024-10-04 18:21 | 387 | |
| cls_IIA__def_5.p | 2024-10-04 18:21 | 363 | |
| cls_conjecture_0.p | 2024-10-04 18:21 | 152 | |