Index of /~moore/acl2/older-releases/v3-0/distrib/acl2-sources/books/finite-set-theory/osets

	Name	Last modified	Size	Description
	Parent Directory		-
	CHANGES.html.gz	2006-01-28 15:00	3.6K
	COPYING.gz	2005-06-12 20:40	6.7K
	Makefile.gz	2006-01-29 19:45	426
	README.gz	2006-01-28 14:19	769
	cert.acl2.gz	2005-06-12 20:40	62
	computed-hints.lisp.gz	2006-01-28 14:23	5.0K
	fast.lisp.gz	2006-01-28 15:22	3.7K
	instance.lisp.gz	2006-01-28 14:27	7.5K
	map.lisp.gz	2006-01-28 14:23	4.4K
	membership.lisp.gz	2006-01-28 14:58	6.3K
	outer.lisp.gz	2006-01-28 14:42	3.2K
	primitives.lisp.gz	2006-01-30 21:51	4.5K
	quantify.lisp.gz	2006-01-30 21:53	7.0K
	set-order.lisp.gz	2006-01-28 14:24	1.6K
	sets.defpkg.gz	2006-01-28 14:24	799
	sets.lisp.gz	2006-01-30 21:55	4.6K
	sort.lisp.gz	2006-01-28 14:54	2.5K