Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/misc

	Name	Last modified	Size	Description
	Parent Directory		-
	misc2/	2014-08-04 08:29	-
	oprof.acl2.gz	2010-09-20 19:28	71
	profiling.acl2.gz	2010-10-22 07:15	79
	redef-pkg.acl2.gz	2010-09-20 19:28	79
	defproxy-test.acl2.gz	2010-12-14 09:40	87
	definline.acl2.gz	2010-09-20 19:28	92
	dft-ex.acl2.gz	2010-09-20 19:28	93
	doc-section.lisp.gz	2011-01-14 09:53	115
	hanoi.acl2.gz	2010-09-20 19:28	173
	radix.acl2.gz	2010-09-20 19:28	173
	Makefile.gz	2010-10-22 07:15	272
	total-order.lisp.gz	2010-09-20 19:28	353
	simplify-thm.lisp.gz	2010-09-20 19:28	476
	integer-type-set-test.lisp.gz	2010-09-20 19:28	596
	hons-help2.lisp.gz	2010-09-20 19:28	667
	book-thms-example.lisp.gz	2011-01-20 12:23	721
	sticky-disable.lisp.gz	2010-09-20 19:28	739
	profiling.lisp.gz	2011-06-17 11:19	807
	defattach-bang.lisp.gz	2011-04-21 15:36	817
	find-lemmas.lisp.gz	2010-09-20 19:28	911
	hons-tests.lisp.gz	2010-09-20 19:28	957
	oprof-raw.lsp.gz	2010-09-20 19:28	1.0K
	dft-ex.lisp.gz	2010-09-20 19:28	1.1K
	definline.lisp.gz	2011-01-14 09:53	1.1K
	defproxy-test.lisp.gz	2010-12-14 09:49	1.2K
	random.lisp.gz	2010-09-20 19:28	1.2K
	oprof.lisp.gz	2010-09-20 19:28	1.2K
	callers-and-ancestors.lisp.gz	2010-12-29 09:46	1.2K
	file-io.lisp.gz	2010-09-20 19:28	1.2K
	transfinite.lisp.gz	2010-09-20 19:28	1.3K
	evalable-printing.lisp.gz	2010-09-20 19:28	1.4K
	sort-symbols.lisp.gz	2010-09-20 19:28	1.4K
	radix.lisp.gz	2010-09-20 19:28	1.4K
	goodstein.lisp.gz	2010-09-20 19:28	1.5K
	process-book-readme.lisp.gz	2010-09-20 19:28	1.5K
	trace-star.lisp.gz	2010-09-20 19:28	1.6K
	defp.lisp.gz	2010-09-22 11:49	1.6K
	problem13.lisp.gz	2010-09-20 19:28	1.8K
	symbol-btree.lisp.gz	2010-09-20 19:28	1.8K
	computed-hint-rewrite.lisp.gz	2011-04-07 08:32	1.8K
	defattach-example.lisp.gz	2011-01-12 14:47	1.9K
	dump-events.lisp.gz	2011-01-14 09:53	1.9K
	check-acl2-exports.lisp.gz	2011-02-14 07:58	1.9K
	int-division.lisp.gz	2010-09-20 19:28	1.9K
	wet.lisp.gz	2010-09-20 19:28	1.9K
	fibonacci.lisp.gz	2010-09-20 19:28	2.0K
	fast-coerce.lisp.gz	2010-09-20 19:28	2.0K
	getprop.lisp.gz	2010-09-20 19:28	2.1K
	defmac.lisp.gz	2011-01-14 09:53	2.1K
	profiling-raw.lsp.gz	2011-06-17 11:17	2.2K
	seq-examples.lsp.gz	2010-09-20 19:28	2.3K
	seqw-examples.lsp.gz	2010-09-20 19:28	2.5K
	meta-lemmas.lisp.gz	2011-02-14 07:58	2.5K
	book-thms.lisp.gz	2011-03-19 15:16	2.6K
	invariants.lisp.gz	2010-09-20 19:28	2.6K
	records.lisp.gz	2010-09-20 19:28	2.6K
	records0.lisp.gz	2010-09-20 19:28	2.7K
	gentle.lisp.gz	2011-02-14 07:58	2.7K
	beta-reduce.lisp.gz	2011-03-19 14:44	2.7K
	sin-cos.lisp.gz	2011-01-14 09:53	3.0K
	priorities.lisp.gz	2010-09-20 19:28	3.2K
	seqw.lisp.gz	2010-09-20 19:28	3.3K
	bash.lisp.gz	2011-02-02 10:30	3.4K
	hanoi.lisp.gz	2010-09-20 19:28	3.5K
	qi-correct.lisp.gz	2010-09-20 19:28	3.7K
	grcd.lisp.gz	2010-09-20 19:28	4.2K
	computed-hint.lisp.gz	2010-09-20 19:28	4.2K
	csort.lisp.gz	2010-09-20 19:28	4.5K
	defpun.lisp.gz	2011-02-02 10:30	4.8K
	simplify-defuns.txt.gz	2010-09-20 19:28	4.9K
	redef-pkg.lisp.gz	2010-12-16 07:38	5.0K
	defopener.lisp.gz	2011-01-14 09:53	5.2K
	rtl-untranslate.lisp.gz	2010-09-20 19:28	5.5K
	dft.lisp.gz	2010-09-20 19:28	5.7K
	untranslate-patterns.lisp.gz	2010-09-20 19:28	5.8K
	seq.lisp.gz	2010-09-20 19:28	6.5K
	README.gz	2011-04-27 08:47	6.8K
	mult.lisp.gz	2010-09-20 19:28	6.9K
	how-to-prove-thms.lisp.gz	2010-09-20 19:28	6.9K
	hons-help.lisp.gz	2011-02-25 21:03	7.9K
	simplify-defuns.lisp.gz	2011-04-07 08:32	9.2K
	qi.lisp.gz	2010-09-20 19:28	11K
	expander.lisp.gz	2011-04-25 13:25	14K