Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/paco

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2008-04-25 08:27	1.0K
	Readme.lsp.gz	2008-04-28 11:52	890
	acl2-customization.lisp.gz	2008-04-22 14:52	240
	books/	2014-08-04 08:25	-
	database.acl2.gz	2008-04-25 08:21	152
	database.lisp.gz	2008-04-22 14:52	9.7K
	elim-dest.acl2.gz	2008-04-25 08:21	156
	elim-dest.lisp.gz	2008-04-22 14:52	14K
	foundations.acl2.gz	2008-04-25 08:21	162
	foundations.lisp.gz	2008-04-25 09:17	26K
	induct.acl2.gz	2008-04-25 08:21	150
	induct.lisp.gz	2008-04-22 14:52	26K
	output-module.acl2.gz	2008-04-25 08:21	161
	output-module.lisp.gz	2008-04-22 14:52	8.2K
	paco.acl2.gz	2008-04-25 08:21	147
	paco.lisp.gz	2008-04-22 14:52	552
	prove.acl2.gz	2008-04-25 08:21	148
	prove.lisp.gz	2008-04-22 14:52	4.7K
	rewrite.acl2.gz	2008-04-25 08:21	152
	rewrite.lisp.gz	2008-04-22 14:52	16K
	simplify.acl2.gz	2008-04-25 08:21	154
	simplify.lisp.gz	2008-04-22 14:52	12K
	type-set.acl2.gz	2008-04-25 08:21	155
	type-set.lisp.gz	2008-04-22 14:52	27K
	utilities.acl2.gz	2008-04-25 08:21	1.8K
	utilities.lisp.gz	2008-04-22 14:52	6.7K