Index of /~moore/acl2/older-releases/v5-0/distrib

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2.tar.gz	2012-08-23 21:23	6.4M
	acl2-tar-gz-md5sum.gz	2012-08-23 21:23	85
	acl2-sources/	2014-08-04 08:30	-
	split/	2014-08-04 08:30	-
	windows/	2014-08-04 08:30	-
	images/	2014-08-04 08:30	-