Index of /~moore/acl2/older-releases/v4-2/distrib

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2.tar.gz	2011-01-10 04:02	11M
	acl2-tar-gz-md5sum.gz	2011-01-10 04:03	85
	acl2-sources/	2014-08-04 08:28	-
	split/	2014-08-04 08:29	-
	windows/	2014-08-04 08:29	-
	images/	2014-08-04 08:29	-