Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/coi/lists

	Name	Last modified	Size	Description
	Parent Directory		-
	MOREDEPS.gz	2010-09-20 19:29	53
	Makefile.gz	2010-09-20 19:29	236
	acl2-count.lisp.gz	2010-09-20 19:29	556
	basic.lisp.gz	2010-09-20 19:29	13K
	cert.acl2.gz	2010-09-20 19:29	172
	disjoint.lisp.gz	2010-09-20 19:29	1.0K
	find-index.lisp.gz	2010-09-20 19:29	956
	list-defpkg.lsp.gz	2010-09-20 19:29	504
	list-exports.lsp.gz	2010-09-20 19:29	364
	list-top.lisp.gz	2010-09-20 19:29	313
	lists-definitions.lisp.gz	2010-09-20 19:29	22K
	listset-induction.lisp.gz	2010-09-20 19:29	811
	map-cons.lisp.gz	2010-09-20 19:29	837
	memberp.lisp.gz	2010-09-20 19:29	2.2K
	mixed.lisp.gz	2010-09-20 19:29	306
	mv-nth.lisp.gz	2010-09-20 19:29	567
	nth-and-update-nth.lisp.gz	2010-09-20 19:29	6.1K
	nth-meta.lisp.gz	2010-09-20 19:29	1.2K
	nth-meta2.lisp.gz	2010-09-20 19:29	1.0K
	remove-induction.lisp.gz	2011-02-14 07:58	831
	remove.lisp.gz	2011-02-14 07:58	1.3K
	repeat.lisp.gz	2010-09-20 19:29	1.0K
	set.lisp.gz	2010-09-20 19:29	2.8K
	subsetp.lisp.gz	2011-02-14 07:58	1.0K
	update-nth-array.lisp.gz	2010-09-20 19:29	1.1K