Index of /~moore/acl2/older-releases/v3-0/distrib/acl2-sources/books/workshops/2002/manolios-kaufmann/support/finite-set-theory

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2004-09-20 20:28	328
	certify-original.lsp.gz	2001-11-26 11:03	359
	certify-total-ord-original.lsp.gz	2001-12-09 19:03	121
	certify-total-ord.lsp.gz	2001-12-09 19:03	105
	certify.lsp.gz	2001-11-26 11:03	343
	set-theory-original.acl2.gz	2003-10-20 13:12	339
	set-theory-original.lisp.gz	2006-01-26 12:42	22K
	set-theory.acl2.gz	2003-10-20 13:13	323
	set-theory.lisp.gz	2006-01-26 12:42	21K
	total-ordering-original.lisp.gz	2001-11-25 13:58	2.4K
	total-ordering.lisp.gz	2001-12-10 00:14	1.7K