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

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