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

	Name	Last modified	Size	Description
	Parent Directory		-
	memories/	10-Jan-2011 04:02	-
	Makefile	20-Sep-2010 19:28	50
	README	20-Sep-2010 19:28	1.2K
	Readme.lsp	20-Sep-2010 19:28	1.7K
	alist-defthms.lisp	20-Sep-2010 19:28	26K
	alist-defuns.lisp	20-Sep-2010 19:28	18K
	alist-theory.lisp	20-Sep-2010 19:28	1.0K
	array1.lisp	20-Sep-2010 19:28	31K
	defalist.acl2	20-Sep-2010 19:28	113
	defalist.lisp	20-Sep-2010 19:28	39K
	define-structures-package.lsp	20-Sep-2010 19:28	755
	define-u-package.lsp	20-Sep-2010 19:28	1.0K
	deflist.acl2	20-Sep-2010 19:28	112
	deflist.lisp	20-Sep-2010 19:28	47K
	list-defthms.lisp	30-Nov-2010 13:13	42K
	list-defuns.lisp	08-Nov-2010 23:42	9.8K
	list-theory.lisp	20-Sep-2010 19:28	1.0K
	no-duplicates.lisp	20-Sep-2010 19:28	2.8K
	number-list-defthms.lisp	20-Sep-2010 19:28	3.1K
	number-list-defuns.lisp	20-Sep-2010 19:28	5.2K
	number-list-theory.lisp	20-Sep-2010 19:28	1.1K
	set-defthms.lisp	20-Sep-2010 19:28	7.9K
	set-defuns.lisp	20-Sep-2010 19:28	2.5K
	set-theory.lisp	20-Sep-2010 19:28	1.0K
	structures.acl2	20-Sep-2010 19:28	158
	structures.lisp	20-Sep-2010 19:28	92K
	utilities.acl2	20-Sep-2010 19:28	140
	utilities.lisp	26-Oct-2010 18:14	37K