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

	Name	Last modified	Size	Description
	Parent Directory		-
	total-ordering.lisp.gz	2000-05-25 11:54	2.4K
	set-theory.acl2.gz	2000-06-04 23:35	309
	certify.lsp.gz	2001-01-01 22:48	388
	README.gz	2004-03-23 12:23	153
	Makefile.gz	2005-03-05 17:25	163
	set-theory.lisp.gz	2006-01-26 12:44	22K
	osets/	2014-07-30 10:03	-