Index of /~tinelli/classes/181/Fall20/Tools/Alloy/Examples/family

	Name	Last modified	Size	Description
	Parent Directory		-
	family-7-elec.als	2020-10-01 02:13	7.2K
	family-7.als	2020-08-02 17:52	5.3K
	family-6-elec.als	2020-09-29 19:35	2.7K
	family-5.als	2020-09-10 15:25	2.5K
	family-4.als	2020-08-02 17:52	2.4K
	family-6.als	2020-08-02 17:52	1.9K
	family-3.als	2020-08-02 17:52	1.7K
	adam_eve.als	2020-08-02 17:52	1.4K
	family-2.als	2020-08-02 17:52	1.1K
	family-1.als	2020-08-02 17:52	386