Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/workshops/1999/knuth-91

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2010-09-20 19:29	358
	README.gz	2010-09-20 19:29	357
	aof.acl2.gz	2010-09-20 19:29	834
	aof.lisp.gz	2010-09-20 19:29	6.4K
	certify.lsp.gz	2010-09-20 19:29	801
	exercise1.acl2.gz	2010-09-20 19:29	83
	exercise1.lisp.gz	2010-09-20 19:29	508
	exercise2.lisp.gz	2010-09-20 19:29	753
	exercise3.lisp.gz	2010-09-20 19:29	1.0K
	exercise4a.lisp.gz	2010-09-20 19:29	718
	exercise4b.lisp.gz	2010-09-20 19:29	547
	exercise5.lisp.gz	2010-09-20 19:29	1.8K
	exercise6a.lisp.gz	2010-09-20 19:29	618
	exercise6b.lisp.gz	2010-09-20 19:29	707
	exercise7a.lisp.gz	2010-09-20 19:29	607
	exercise7b.lisp.gz	2010-09-20 19:29	879
	knuth-arch.lisp.gz	2010-09-20 19:29	8.3K