Index of /~moore/acl2/older-releases/v3-3/distrib/acl2-sources/books/workshops/2004/cowles-gamboa/support

	Name	Last modified	Size	Description
	Parent Directory		-
	tail-rec.acl2.gz	2004-07-27 18:29	162
	WyoM1-utilities.acl2.gz	2004-07-27 22:03	103
	WyoM1-correct.acl2.gz	2004-07-27 22:05	107
	tail-rec.lisp.gz	2004-07-27 22:11	6.9K
	Makefile.gz	2004-09-20 20:34	347
	certify.lsp.gz	2004-10-23 19:18	340
	knuth.lisp.gz	2004-12-17 15:08	4.7K
	WyoM1-correct.lisp.gz	2005-07-30 20:08	4.9K
	WyoM1.acl2.gz	2005-07-30 20:08	358
	WyoM1.lisp.gz	2005-07-30 20:08	3.5K
	WyoM1-utilities.lisp.gz	2005-07-30 20:09	1.6K