![[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 | - | ||
| constructor_a.p | 2024-10-04 18:25 | 110 | |
| constructor_af.p | 2024-10-04 18:25 | 134 | |
| constructor_af_001.p | 2024-10-04 18:25 | 138 | |
| constructor_f1.p | 2024-10-04 18:25 | 181 | |
| constructor_f2.p | 2024-10-04 18:25 | 169 | |
| constructor_f3.p | 2024-10-04 18:25 | 169 | |
| prove.p | 2024-10-04 18:25 | 500 | |
| rewrite_left.p | 2024-10-04 18:25 | 163 | |
| rewrite_right.p | 2024-10-04 18:25 | 164 | |
| rewrite_sequence_succ.p | 2024-10-04 18:25 | 192 | |
| rewrite_sequence_zero.p | 2024-10-04 18:25 | 132 | |
| rewrite_top.p | 2024-10-04 18:25 | 143 | |
| rule_1.p | 2024-10-04 18:25 | 208 | |