![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| general-patches-area-chart-agda.jpg | 2025-11-28 13:58 | 251K | |
| gre-retainers.jpg | 2025-11-28 13:58 | 846K | |
| hi-haddock-area-chart-agda.jpg | 2025-11-28 13:58 | 262K | |
| hi-haddock-no-recomp-area-chart-agda.jpg | 2025-11-28 13:58 | 234K | |
| initial-area-chart-agda.jpg | 2025-11-28 13:58 | 256K | |
| initial-detail-agda.jpg | 2025-11-28 13:58 | 318K | |
| no-gre-area-chart-agda.jpg | 2025-11-28 13:58 | 248K | |
| no-gre-detail-agda.jpg | 2025-11-28 13:58 | 303K | |
