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

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