Index of /pub/CTAN/macros/latex2e/contrib/temporal-logic

	Name	Last modified	Size	Description
	Parent Directory		-
	README.md	2026-01-07 02:10	1.2K
	temporal-logic.ins	2026-01-07 02:10	1.5K
	temporal-logic.dtx	2026-01-07 02:10	43K
	temporal-logic.pdf	2026-01-07 01:05	511K