Index of /ctan/macros/latex/contrib/temporal-logic

	Name	Last modified	Size	Description
	Parent Directory		-
	temporal-logic.dtx	2026-01-06 22:40	43K
	temporal-logic.ins	2026-01-06 22:40	1.5K
	temporal-logic.pdf	2026-01-06 21:35	511K