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

	Name	Last modified	Size
	Parent Directory		-
	README.md	2024-10-17 14:16	1.2K
	temporal-logic.ins	2024-10-17 14:16	1.5K
	temporal-logic.dtx	2024-10-17 14:16	20K
	temporal-logic-doc.pdf	2024-10-17 14:16	525K