Index of /~tinelli/classes/181/Spring03/Examples/Alloy-Academia

	Name	Last modified	Size	Description
	Parent Directory		-
	academia-1.all	2016-08-22 16:22	1.2K
	academia-2.all	2016-08-22 16:22	1.8K
	academia.all	2016-08-22 16:22	1.8K
	academia-3.all	2016-08-22 16:22	3.1K