Index of /users/moore/acl2/v3-0/distrib/acl2-sources/books/finite-set-theory

	Name	Last modified	Size	Description
	Parent Directory		-
	osets/	29-May-2006 00:06	-
	Makefile	05-Mar-2005 17:25	290
	README	23-Mar-2004 12:23	167
	certify.lsp	01-Jan-2001 22:48	759
	set-theory.acl2	04-Jun-2000 23:35	622
	set-theory.lisp	26-Jan-2006 12:44	102K
	total-ordering.lisp	25-May-2000 11:54	9.1K