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

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