Index of /~moore/acl2/older-releases/v3-2/distrib/acl2-sources/books/data-structures

	Name	Last modified	Size	Description
	Parent Directory		-
	memories/	2014-08-04 08:23	-
	deflist.acl2.gz	1998-12-03 14:19	123
	defalist.acl2.gz	1998-12-03 14:19	125
	structures.acl2.gz	1998-12-03 14:19	138
	utilities.acl2.gz	1998-12-03 14:19	144
	define-structures-package.lisp.gz	2000-06-04 23:06	469
	Makefile.gz	2005-03-05 17:24	488
	README.gz	1998-10-05 13:37	492
	set-theory.lisp.gz	1997-05-19 12:21	606
	list-theory.lisp.gz	1997-05-19 12:19	611
	alist-theory.lisp.gz	1997-05-19 12:18	619
	certify.lsp.gz	2001-01-01 22:34	638
	number-list-theory.lisp.gz	1997-05-19 12:20	656
	define-u-package.lisp.gz	1997-05-19 12:19	658
	number-list-defthms.lisp.gz	2000-05-07 09:48	1.2K
	set-defuns.lisp.gz	2007-03-09 12:01	1.2K
	number-list-defuns.lisp.gz	2000-05-07 09:44	1.5K
	set-defthms.lisp.gz	1997-05-19 12:20	1.7K
	list-defuns.lisp.gz	2004-04-23 10:53	2.8K
	alist-defuns.lisp.gz	1997-05-19 12:18	3.4K
	alist-defthms.lisp.gz	2001-06-18 13:55	4.3K
	list-defthms.lisp.gz	2001-08-21 11:14	7.3K
	array1.lisp.gz	2006-07-01 10:16	7.4K
	defalist.lisp.gz	2001-11-08 08:06	8.4K
	deflist.lisp.gz	2005-07-17 13:17	9.6K
	utilities.lisp.gz	2006-06-08 00:10	10K
	structures.lisp.gz	2004-01-18 15:02	24K