Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/paco

	Name	Last modified	Size	Description
	Parent Directory		-
	books/	10-Aug-2008 15:07	-
	Makefile	25-Apr-2008 08:27	2.7K
	Readme.lsp	28-Apr-2008 11:52	1.5K
	acl2-customization.lisp	22-Apr-2008 14:52	387
	database.acl2	25-Apr-2008 08:21	147
	database.lisp	22-Apr-2008 14:52	37K
	elim-dest.acl2	25-Apr-2008 08:21	151
	elim-dest.lisp	22-Apr-2008 14:52	49K
	foundations.acl2	25-Apr-2008 08:21	158
	foundations.lisp	25-Apr-2008 09:17	107K
	induct.acl2	25-Apr-2008 08:21	149
	induct.lisp	22-Apr-2008 14:52	97K
	output-module.acl2	25-Apr-2008 08:21	156
	output-module.lisp	22-Apr-2008 14:52	24K
	paco.acl2	25-Apr-2008 08:21	146
	paco.lisp	22-Apr-2008 14:52	1.4K
	prove.acl2	25-Apr-2008 08:21	145
	prove.lisp	22-Apr-2008 14:52	17K
	rewrite.acl2	25-Apr-2008 08:21	149
	rewrite.lisp	22-Apr-2008 14:52	68K
	simplify.acl2	25-Apr-2008 08:21	149
	simplify.lisp	22-Apr-2008 14:52	41K
	type-set.acl2	25-Apr-2008 08:21	153
	type-set.lisp	22-Apr-2008 14:52	118K
	utilities.acl2	25-Apr-2008 08:21	3.7K
	utilities.lisp	22-Apr-2008 14:52	28K