Index of /users/moore/acl2/v4-1/distrib/acl2-sources/books/paco

	Name	Last modified	Size	Description
	Parent Directory		-
	books/	01-Sep-2010 04:44	-
	Makefile	13-Oct-2008 14:02	1.1K
	Readme.lsp	13-Oct-2008 14:02	1.5K
	acl2-customization.lsp	06-Feb-2010 19:05	449
	database.acl2	13-Oct-2008 14:02	146
	database.lisp	13-Oct-2008 14:02	37K
	elim-dest.acl2	13-Oct-2008 14:02	150
	elim-dest.lisp	13-Oct-2008 14:02	49K
	foundations.acl2	13-Oct-2008 14:02	157
	foundations.lisp	13-Oct-2008 14:02	107K
	induct.acl2	13-Oct-2008 14:02	148
	induct.lisp	13-Oct-2008 14:02	97K
	output-module.acl2	13-Oct-2008 14:02	155
	output-module.lisp	05-Mar-2010 10:32	25K
	paco.acl2	13-Oct-2008 14:02	145
	paco.lisp	13-Oct-2008 14:02	1.4K
	prove.acl2	13-Oct-2008 14:02	144
	prove.lisp	13-Oct-2008 14:02	17K
	rewrite.acl2	13-Oct-2008 14:02	148
	rewrite.lisp	30-Mar-2009 18:00	68K
	simplify.acl2	13-Oct-2008 14:02	148
	simplify.lisp	13-Oct-2008 14:02	41K
	type-set.acl2	13-Oct-2008 14:02	152
	type-set.lisp	13-Oct-2008 14:02	118K
	utilities.acl2	08-Mar-2010 22:41	3.7K
	utilities.lisp	13-Oct-2008 14:02	28K