Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/paco

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2010-09-20 19:29	593
	Readme.lsp.gz	2010-09-20 19:29	890
	acl2-customization.lsp.gz	2010-09-20 19:29	269
	books/	2014-08-04 08:29	-
	database.acl2.gz	2010-09-20 19:29	151
	database.lisp.gz	2010-09-20 19:29	9.7K
	elim-dest.acl2.gz	2010-09-20 19:29	155
	elim-dest.lisp.gz	2010-09-20 19:29	14K
	foundations.acl2.gz	2010-09-20 19:29	161
	foundations.lisp.gz	2011-02-14 07:58	26K
	induct.acl2.gz	2010-09-20 19:29	150
	induct.lisp.gz	2010-09-20 19:29	26K
	output-module.acl2.gz	2010-09-20 19:29	161
	output-module.lisp.gz	2010-09-20 19:29	8.3K
	paco.acl2.gz	2010-09-20 19:29	147
	paco.lisp.gz	2010-09-20 19:29	552
	prove.acl2.gz	2010-09-20 19:29	148
	prove.lisp.gz	2010-09-20 19:29	4.7K
	rewrite.acl2.gz	2010-09-20 19:29	151
	rewrite.lisp.gz	2010-09-20 19:29	16K
	simplify.acl2.gz	2010-09-20 19:29	154
	simplify.lisp.gz	2010-09-20 19:29	12K
	type-set.acl2.gz	2010-09-20 19:29	155
	type-set.lisp.gz	2010-09-20 19:29	27K
	utilities.acl2.gz	2010-09-20 19:29	1.8K
	utilities.lisp.gz	2010-09-20 19:29	6.7K