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

	Name	Last modified	Size	Description
	Parent Directory		-
	books/	10-Jan-2011 04:02	-
	Makefile	20-Sep-2010 19:29	1.1K
	Readme.lsp	20-Sep-2010 19:29	1.5K
	acl2-customization.lsp	20-Sep-2010 19:29	449
	database.acl2	20-Sep-2010 19:29	146
	database.lisp	20-Sep-2010 19:29	37K
	elim-dest.acl2	20-Sep-2010 19:29	150
	elim-dest.lisp	20-Sep-2010 19:29	49K
	foundations.acl2	20-Sep-2010 19:29	157
	foundations.lisp	08-Nov-2010 22:01	107K
	induct.acl2	20-Sep-2010 19:29	148
	induct.lisp	20-Sep-2010 19:29	97K
	output-module.acl2	20-Sep-2010 19:29	155
	output-module.lisp	20-Sep-2010 19:29	25K
	paco.acl2	20-Sep-2010 19:29	145
	paco.lisp	20-Sep-2010 19:29	1.4K
	prove.acl2	20-Sep-2010 19:29	144
	prove.lisp	20-Sep-2010 19:29	17K
	rewrite.acl2	20-Sep-2010 19:29	148
	rewrite.lisp	20-Sep-2010 19:29	68K
	simplify.acl2	20-Sep-2010 19:29	148
	simplify.lisp	20-Sep-2010 19:29	41K
	type-set.acl2	20-Sep-2010 19:29	152
	type-set.lisp	20-Sep-2010 19:29	118K
	utilities.acl2	20-Sep-2010 19:29	3.7K
	utilities.lisp	20-Sep-2010 19:29	28K