Index of /acl2s/src/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-image-8.0-linux.x86_64.tar.gz	04-Jan-2018 08:17	155M
	acl2-image-8.0-macosx.x86_64.tar.gz	05-Jan-2018 22:45	125M
	acl2-image-8.0-win64.x86_64.tar.gz	07-Jan-2018 07:24	93M