Index of /~tinelli/classes/181/Fall25/Tools/Alloy/Examples

	Name	Last modified	Size	Description
	Parent Directory		-
	academia/	2025-08-24 23:04	-
	dynamic/	2025-10-09 01:15	-
	family/	2025-09-10 18:23	-