Index of /Restricted/Verif

	Name	Last modified	Size	Description
	Parent Directory		-
	Verif4A.pdf	2026-01-29 18:14	1.5M
	Verif4A-fd26-.pdf	2026-01-29 18:14	1.5M
	Verif4A.code.tla	2026-01-29 18:14	23K
	TLA_dump-6aa8-.tla	2026-01-29 18:14	23K