Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/powerlists

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2007-12-17 09:58	387
	README.gz	2007-12-17 09:58	1.0K
	algebra.acl2.gz	2007-12-17 09:58	80
	algebra.lisp.gz	2007-12-17 09:58	8.8K
	batcher-sort.acl2.gz	2007-12-17 09:58	90
	batcher-sort.lisp.gz	2007-12-17 09:58	7.3K
	bitonic-sort.acl2.gz	2007-12-17 09:58	90
	bitonic-sort.lisp.gz	2007-12-17 09:58	1.4K
	certify.lsp.gz	2007-12-17 09:58	636
	cla-adder.acl2.gz	2007-12-17 09:58	84
	cla-adder.lisp.gz	2007-12-17 09:58	3.2K
	defpkg.lisp.gz	2007-12-17 09:58	687
	gray-code.acl2.gz	2007-12-17 09:58	84
	gray-code.lisp.gz	2007-12-17 09:58	2.1K
	merge-sort.acl2.gz	2007-12-17 09:58	86
	merge-sort.lisp.gz	2007-12-17 09:58	2.7K
	prefix-sum.acl2.gz	2007-12-17 09:58	85
	prefix-sum.lisp.gz	2007-12-17 09:58	6.3K
	simple.acl2.gz	2007-12-17 09:58	78
	simple.lisp.gz	2007-12-17 09:58	2.2K
	sort.acl2.gz	2007-12-17 09:58	74
	sort.lisp.gz	2007-12-17 09:58	2.0K