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

	Name	Last modified	Size	Description
	Parent Directory		-
	memories/	18-Apr-2007 15:58	-
	Makefile	05-Mar-2005 17:24	2.1K
	README	05-Oct-1998 13:37	1.2K
	alist-defthms.lisp	18-Jun-2001 13:55	26K
	alist-defuns.lisp	19-May-1997 12:18	18K
	alist-theory.lisp	19-May-1997 12:18	1.0K
	array1.lisp	01-Jul-2006 10:16	31K
	certify.lsp	01-Jan-2001 22:34	1.7K
	defalist.acl2	03-Dec-1998 14:19	114
	defalist.lisp	08-Nov-2001 08:06	39K
	define-structures-package.lisp	04-Jun-2000 23:06	755
	define-u-package.lisp	19-May-1997 12:19	1.0K
	deflist.acl2	03-Dec-1998 14:19	113
	deflist.lisp	17-Jul-2005 13:17	47K
	list-defthms.lisp	21-Aug-2001 11:14	42K
	list-defuns.lisp	23-Apr-2004 10:53	9.6K
	list-theory.lisp	19-May-1997 12:19	1.0K
	number-list-defthms.lisp	07-May-2000 09:48	3.1K
	number-list-defuns.lisp	07-May-2000 09:44	5.2K
	number-list-theory.lisp	19-May-1997 12:20	1.1K
	set-defthms.lisp	19-May-1997 12:20	7.8K
	set-defuns.lisp	09-Mar-2007 12:01	2.7K
	set-theory.lisp	19-May-1997 12:21	1.0K
	structures.acl2	03-Dec-1998 14:19	160
	structures.lisp	18-Jan-2004 15:02	92K
	utilities.acl2	03-Dec-1998 14:19	141
	utilities.lisp	08-Jun-2006 00:10	37K