Index of /users/moore/acl2/v3-2/distrib/acl2-sources/books/misc

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	17-Apr-2007 16:44	2.6K
	README	17-Apr-2007 16:46	14K
	bash.lisp	17-Apr-2007 13:56	8.8K
	beta-reduce.lisp	17-Apr-2007 16:45	8.3K
	certify.lsp	01-Jan-2001 22:43	254
	computed-hint.lisp	14-Nov-2001 23:00	17K
	csort.lisp	23-Apr-2004 10:53	17K
	defmac.lisp	17-Jul-2006 17:51	2.1K
	defpun-exec-domain-example.lisp	23-Dec-2006 09:43	4.4K
	defpun.lisp	06-Jan-2007 09:21	19K
	dft-ex.acl2	27-Jun-2003 10:02	63
	dft-ex.lisp	06-Oct-2001 21:03	4.5K
	dft.lisp	06-Oct-2001 21:02	29K
	dump-events.lisp	20-May-1998 20:07	5.5K
	expander.lisp	08-Apr-2007 12:53	54K
	fibonacci.lisp	15-Feb-2007 20:12	5.8K
	file-io.lisp	13-Feb-2006 14:35	3.0K
	find-lemmas.lisp	06-Aug-2005 20:47	2.9K
	grcd.lisp	18-Jan-2004 09:58	19K
	hacker.acl2	17-Apr-2007 13:02	1.9K
	hacker.lisp	17-Apr-2007 13:02	16K
	hanoi.acl2	02-Aug-2005 16:43	182
	hanoi.lisp	02-Aug-2005 16:47	12K
	hons-help.lisp	11-Apr-2007 22:04	15K
	hons-help2.lisp	11-Apr-2007 22:05	2.0K
	hons-tests.lisp	21-Mar-2007 07:41	905
	how-to-prove-thms.lisp	02-Aug-2005 14:09	23K
	int-division.lisp	27-Nov-2001 16:06	8.0K
	meta-lemmas.lisp	20-May-1998 20:08	8.1K
	mult.lisp	25-Aug-2003 12:44	34K
	priorities.lisp	13-Jul-2006 15:24	9.2K
	problem13.lisp	22-Aug-2003 11:06	4.6K
	process-book-readme.lisp	24-Feb-2006 11:36	5.7K
	radix.acl2	30-Jul-2005 07:16	183
	radix.lisp	30-Jul-2005 07:18	4.8K
	records.lisp	26-Nov-2001 14:53	7.5K
	records0.lisp	26-Nov-2001 14:53	11K
	rtl-untranslate.lisp	18-Sep-2005 08:23	29K
	simplify-defuns.lisp	19-Oct-2006 08:05	43K
	simplify-defuns.txt	12-Sep-2002 11:14	18K
	sin-cos.lisp	11-May-2001 14:00	11K
	sort-symbols.lisp	21-Jul-2006 17:17	5.7K
	sticky-disable.lisp	21-Jan-2006 05:57	2.2K
	symbol-btree.lisp	08-Jun-2004 13:17	5.8K
	total-order.lisp	26-Nov-2001 12:23	696
	transfinite.lisp	29-Aug-2006 15:19	3.8K
	untranslate-patterns.lisp	12-Jun-2006 15:36	19K