Index of /users/moore/acl2/v8-3/distrib

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-sources/	2020-04-14 09:04	-
	images/	2020-04-16 09:48	-
	split/	2020-04-14 09:04	-
	windows/	2019-04-30 11:52	-
	acl2-tar-gz-md5sum	2020-04-14 09:04	46
	acl2.tar.gz	2020-04-14 09:04	11M