![[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 | - | ||
| axiom_10.p | 2024-10-04 18:25 | 125 | |
| axiom_11.p | 2024-10-04 18:25 | 126 | |
| axiom_7.p | 2024-10-04 18:25 | 129 | |
| axiom_8.p | 2024-10-04 18:25 | 129 | |
| axiom_0.p | 2024-10-04 18:25 | 130 | |
| axiom_1.p | 2024-10-04 18:25 | 133 | |
| axiom_3.p | 2024-10-04 18:25 | 134 | |
| axiom_4.p | 2024-10-04 18:25 | 135 | |
| axiom_5.p | 2024-10-04 18:25 | 143 | |
| ca_substitution_1.p | 2024-10-04 18:25 | 143 | |
| axiom_9.p | 2024-10-04 18:25 | 147 | |
| ca_Vx2_substitution_1.p | 2024-10-04 18:25 | 155 | |
| rf_substitution_1.p | 2024-10-04 18:25 | 155 | |
| rf_substitution_2.p | 2024-10-04 18:25 | 155 | |
| rr_substitution_1.p | 2024-10-04 18:25 | 155 | |
| rr_substitution_2.p | 2024-10-04 18:25 | 155 | |
| caxcomp_substitution_1.p | 2024-10-04 18:25 | 158 | |
| cowlThing_substitution_1.p | 2024-10-04 18:25 | 164 | |
| rinvF_substitution_1.p | 2024-10-04 18:25 | 164 | |
| rinvF_substitution_2.p | 2024-10-04 18:25 | 164 | |
| rinvR_substitution_1.p | 2024-10-04 18:25 | 164 | |
| rinvR_substitution_2.p | 2024-10-04 18:25 | 164 | |
| ra_Px1_substitution_1.p | 2024-10-04 18:25 | 167 | |
| ra_Px1_substitution_2.p | 2024-10-04 18:25 | 167 | |
| xsd_string_substitution_1.p | 2024-10-04 18:25 | 167 | |
| cowlNothing_substitution_1.p | 2024-10-04 18:25 | 170 | |
| xsd_integer_substitution_1.p | 2024-10-04 18:25 | 170 | |
| axiom_6.p | 2024-10-04 18:25 | 171 | |
| cSatisfiable_substitution_1.p | 2024-10-04 18:25 | 173 | |
| axiom_2.p | 2024-10-04 18:25 | 203 | |