Index of /~ajreynol/fall2019/5810/Tools/Alloy/Examples/family

	Name	Last modified	Size	Description
	Parent Directory		-
	adam_eve.als	2019-08-27 10:44	1.4K
	family-1.als	2019-08-27 10:44	386
	family-2.als	2019-08-27 10:44	1.1K
	family-3.als	2019-08-27 10:44	1.7K
	family-4.als	2019-08-27 10:44	2.4K
	family-5.als	2019-08-27 10:44	2.4K
	family-6.als	2019-08-27 10:44	1.9K
	family-7.als	2019-08-27 10:44	5.3K