Index of /users/moore/acl2/older-releases/v4-2/distrib/acl2-sources/books/defsort

	Name	Last modified	Size	Description
	Parent Directory		-
	LICENSE.gz	2010-09-20 19:29	910
	Makefile.gz	2010-09-20 19:29	67
	defsort.lisp.gz	2010-09-20 19:29	3.2K
	duplicated-members.lisp.gz	2010-09-20 19:29	2.8K
	duplicity.lisp.gz	2010-09-20 19:29	1.6K
	examples.lisp.gz	2010-09-20 19:29	2.3K
	generic-impl.lisp.gz	2010-09-20 19:29	5.5K
	generic.lisp.gz	2010-09-20 19:29	3.2K
	gpl.txt.gz	2010-09-20 19:29	6.7K
	remove-dups.lisp.gz	2010-09-20 19:29	1.4K
	uniquep.lisp.gz	2010-09-20 19:29	1.6K