![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| temp.arg/ | 2024-01-02 21:00 | - |
| temp.decls/ | 2024-01-02 21:00 | - |
| temp.deduct.guide/ | 2024-01-02 21:00 | - |
| temp.fct.spec/ | 2024-01-02 21:00 | - |
| temp.names/ | 2024-01-02 21:00 | - |
| temp.param/ | 2024-01-02 21:00 | - |
| temp.res/ | 2024-01-02 21:00 | - |
| temp.spec/ | 2024-01-02 21:00 | - |
| temp.type/ | 2024-01-02 21:00 | - |