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

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-sources/	2022-07-20 14:44	-
	acl2-tar-gz-md5sum	2022-07-20 14:44	46
	acl2.tar.gz	2022-07-20 14:44	12M
	images/	2022-07-23 10:32	-
	split/	2022-07-20 14:44	-
	windows/	2019-04-30 11:52	-