![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 5.5-Reduce.dfy | 2023-11-10 21:57 | 953 | |
| 5.7-Mirror.dfy | 2023-11-02 17:28 | 1.4K | |
| 5.6-Mult.dfy | 2023-11-02 17:28 | 828 | |
| 5.4.0-Ack.dfy | 2023-11-02 17:28 | 516 | |
| 5-Increasing.dfy | 2023-11-02 17:28 | 399 | |
| 5-Increasing-Proof7.dfy | 2023-11-02 17:28 | 621 | |
| 5-Increasing-Proof6.dfy | 2023-11-02 17:28 | 603 | |
| 5-Increasing-Proof3.dfy | 2023-11-02 17:28 | 654 | |
| 5-Increasing-Proof2.dfy | 2023-11-02 17:28 | 244 | |
| 5-Increasing-Proof1.dfy | 2023-11-02 17:28 | 245 | |
| 5-Increasing-Proof0.dfy | 2023-11-02 17:28 | 229 | |
| 5.8.0-EvalSubstituteList.dfy | 2023-10-11 23:26 | 2.7K | |
| 5.8-AST.dfy | 2023-10-11 23:26 | 3.8K | |
| 5.4-Calc.dfy | 2023-10-11 23:26 | 1.1K | |
| 5-Increasing-Proof9.dfy | 2023-10-11 23:26 | 661 | |
| 5-Increasing-Proof8.dfy | 2023-10-11 23:26 | 624 | |
| 5-Increasing-Proof5.dfy | 2023-10-11 23:26 | 523 | |
| 5-Increasing-Proof4.dfy | 2023-10-11 23:26 | 507 | |