Index of /users/moore/acl2/v4-0/distrib/acl2-sources/books/clause-processors

	Name	Last modified	Size	Description
	Parent Directory		-
	SULFA/	30-Jun-2010 12:09	-
	Makefile	20-Oct-2008 19:02	1.7K
	Readme.lsp	28-Jun-2010 14:23	4.3K
	basic-examples.acl2	14-Jun-2010 21:42	70
	basic-examples.lisp	26-Jun-2010 19:41	31K
	bv-add-common.lisp	13-Oct-2008 14:02	648
	bv-add-tests.lisp	26-Oct-2009 17:10	5.0K
	bv-add.lisp	13-Oct-2008 14:02	8.7K
	decomp-hint.lisp	04-Sep-2009 11:48	9.6K
	equality.lisp	13-Oct-2008 14:02	11K
	ev-theoremp.lisp	28-Jun-2010 14:23	7.7K
	generalize.acl2	13-Oct-2008 14:02	75
	generalize.lisp	04-Sep-2009 11:48	22K
	join-thms.lisp	18-Dec-2009 10:29	7.2K
	multi-env-trick.lisp	04-Sep-2009 11:48	17K
	null-fail-hints.lisp	13-Oct-2008 14:02	1.9K
	nvalues-thms.lisp	30-Oct-2009 17:31	12K
	replace-defined-consts.acl2	03-Feb-2009 08:40	86
	replace-defined-consts.lisp	04-Sep-2009 11:48	8.7K
	replace-impl.lisp	20-Oct-2008 19:02	6.0K
	term-patterns.lisp	28-Jun-2010 14:23	6.6K
	use-by-hint.lisp	04-Sep-2009 12:45	2.9K