| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| README.md | 2026/01/06 17:10:03 | 1220 |
| temporal-logic.dtx | 2026/01/06 17:10:03 | 44445 |
| temporal-logic.ins | 2026/01/06 17:10:03 | 1527 |
| temporal-logic.pdf | 2026/01/06 16:05:55 | 523405 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.