Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/data-structures

	Name	Last modified	Size	Description
	Parent Directory		-
	memories/	10-Aug-2008 15:07	-
	Makefile	17-Dec-2007 09:59	2.1K
	README	17-Dec-2007 09:59	1.2K
	alist-defthms.lisp	17-Dec-2007 09:59	26K
	alist-defuns.lisp	17-Dec-2007 09:59	18K
	alist-theory.lisp	17-Dec-2007 09:59	1.0K
	array1.lisp	17-Dec-2007 09:59	31K
	certify.lsp	17-Dec-2007 09:59	1.7K
	defalist.acl2	17-Dec-2007 09:59	114
	defalist.lisp	17-Dec-2007 09:59	39K
	define-structures-package.lisp	17-Dec-2007 09:59	755
	define-u-package.lisp	17-Dec-2007 09:59	1.0K
	deflist.acl2	17-Dec-2007 09:59	113
	deflist.lisp	17-Dec-2007 09:59	47K
	list-defthms.lisp	17-Dec-2007 09:59	42K
	list-defuns.lisp	13-Feb-2008 08:02	9.8K
	list-theory.lisp	17-Dec-2007 09:59	1.0K
	number-list-defthms.lisp	17-Dec-2007 09:59	3.1K
	number-list-defuns.lisp	17-Dec-2007 09:59	5.2K
	number-list-theory.lisp	17-Dec-2007 09:59	1.1K
	set-defthms.lisp	17-Dec-2007 09:59	7.8K
	set-defuns.lisp	17-Dec-2007 09:59	2.7K
	set-theory.lisp	17-Dec-2007 09:59	1.0K
	structures.acl2	17-Dec-2007 09:59	160
	structures.lisp	17-Dec-2007 09:59	92K
	utilities.acl2	17-Dec-2007 09:59	141
	utilities.lisp	17-Dec-2007 09:59	37K