![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[DIR]](/theme/icons/folder.png){kind=icon} | diagrams/ | 2002-12-17 21:13 | - |
| proofs/ | 2006-06-05 17:13 | - |
| soul/ | 2023-02-18 21:58 | - |
![[ ]](/theme/icons/zip.png){kind=icon} | soul.zip | 2023-02-18 21:58 | 347K |
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| diagrams/ | 2002-12-17 21:13 | - |
| proofs/ | 2006-06-05 17:13 | - |
| soul/ | 2023-02-18 21:58 | - |
| soul.zip | 2023-02-18 21:58 | 347K |