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

	Name	Last modified	Size	Description
	Parent Directory		-
	osets/	2014-08-04 08:25	-
	README.gz	2007-12-17 09:58	147
	Makefile.gz	2007-12-17 09:58	163
	set-theory.acl2.gz	2007-12-17 09:58	309
	certify.lsp.gz	2007-12-17 09:58	388
	total-ordering.lisp.gz	2007-12-17 09:58	2.4K
	set-theory.lisp.gz	2007-12-17 09:58	22K