Index of /~moore/acl2/older-releases/v3-1/distrib/acl2-sources/books/misc

	Name	Last modified	Size	Description
	Parent Directory		-
	untranslate-patterns.lisp.gz	2006-06-12 15:36	5.5K
	transfinite.lisp.gz	2006-08-29 15:19	1.3K
	total-order.lisp.gz	2001-11-26 12:23	353
	symbol-btree.lisp.gz	2004-06-08 13:17	1.5K
	sticky-disable.lisp.gz	2006-01-21 05:57	739
	sort-symbols.lisp.gz	2006-07-21 17:17	1.4K
	sin-cos.lisp.gz	2001-05-11 14:00	3.0K
	simplify-defuns.txt.gz	2002-09-12 11:14	4.9K
	simplify-defuns.lisp.gz	2006-10-19 08:05	9.2K
	rtl-untranslate.lisp.gz	2005-09-18 08:23	5.5K
	records0.lisp.gz	2001-11-26 14:53	2.7K
	records.lisp.gz	2001-11-26 14:53	2.1K
	radix.lisp.gz	2005-07-30 07:18	1.4K
	radix.acl2.gz	2005-07-30 07:16	173
	process-book-readme.lisp.gz	2006-02-24 11:36	1.5K
	problem13.lisp.gz	2003-08-22 11:06	1.7K
	priorities.lisp.gz	2006-07-13 15:24	3.2K
	mult.lisp.gz	2003-08-25 12:44	6.9K
	meta-lemmas.lisp.gz	1998-05-20 20:08	2.3K
	int-division.lisp.gz	2001-11-27 16:06	1.9K
	how-to-prove-thms.lisp.gz	2005-08-02 14:09	6.9K
	hanoi.lisp.gz	2005-08-02 16:47	3.5K
	hanoi.acl2.gz	2005-08-02 16:43	173
	hacker.lisp.gz	2006-11-07 14:40	1.4K
	grcd.lisp.gz	2004-01-18 09:58	4.2K
	find-lemmas.lisp.gz	2005-08-06 20:47	911
	file-io.lisp.gz	2006-02-13 14:35	1.0K
	fibonacci.lisp.gz	2003-08-22 10:59	1.9K
	expander.lisp.gz	2006-11-22 12:07	11K
	dump-events.lisp.gz	1998-05-20 20:07	1.8K
	dft.lisp.gz	2001-10-06 21:02	5.7K
	dft-ex.lisp.gz	2001-10-06 21:03	1.1K
	dft-ex.acl2.gz	2003-06-27 10:02	93
	defpun.lisp.gz	2004-05-25 14:41	4.6K
	defmac.lisp.gz	2006-07-17 17:51	861
	csort.lisp.gz	2004-04-23 10:53	4.5K
	computed-hint.lisp.gz	2001-11-14 23:00	4.2K
	certify.lsp.gz	2001-01-01 22:43	176
	bash.lisp.gz	2006-10-14 16:29	2.8K
	README.gz	2006-10-23 16:25	4.7K
	Makefile.gz	2006-10-23 16:25	624