![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| input/ | 2025-04-10 18:30 | - | |
| paper-plain.tex | 2025-04-10 18:30 | 1.5K | |
| paper.tex | 2025-04-10 18:30 | 1.0K | |
| tamari-diagram-h-large.png | 2025-04-27 10:00 | 151K | |
| tamari-diagram-large.png | 2025-04-27 10:00 | 73K | |
| tamari-diagram-rules-large.png | 2025-04-27 10:00 | 158K | |
| tamari-diagram-h-plain-stripped.tex | 2025-04-30 10:00 | 8.3K | |
| tamari-diagram-h.tex | 2025-04-30 10:00 | 20K | |
| tamari-diagram-plain-stripped.tex | 2025-04-30 10:00 | 7.1K | |
| tamari-diagram.tex | 2025-04-30 10:00 | 18K | |