Index of /pub/software/tex/macros/latex/contrib/temporal-logic/

Filename	Modification time	Size
README.md	2026-01-06 18:10 CET	1220 B
temporal-logic.dtx	2026-01-06 18:10 CET	43 KiB
temporal-logic.ins	2026-01-06 18:10 CET	1527 B
temporal-logic.pdf	2026-01-06 17:05 CET	511 KiB