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

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-sources/	2021-08-05 19:30	-
	acl2-tar-gz-md5sum	2021-08-05 19:30	46
	acl2.tar.gz	2021-08-05 19:30	11M
	images/	2021-08-08 11:10	-
	split/	2021-08-05 19:30	-
	windows/	2019-04-30 11:52	-