Index of /~moore/acl2/older-releases/v3-2/distrib/acl2-sources/books/rtl/rel1/support

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2004-09-20 20:24	483
	add.lisp.gz	2004-01-18 14:30	4.1K
	away.lisp.gz	1999-09-08 17:29	2.1K
	basic.lisp.gz	2003-08-22 12:50	1.8K
	divsqrt.lisp.gz	2004-01-18 14:33	8.4K
	fadd/	2014-08-04 08:24	-
	float.lisp.gz	1999-09-08 17:29	4.1K
	floor.lisp.gz	2001-03-27 11:45	1.0K
	fp.lisp.gz	2004-01-18 15:04	3.9K
	logdefs.lisp.gz	2002-06-30 16:37	4.8K
	loglemmas.lisp.gz	1999-09-08 17:29	3.3K
	logxor-def.lisp.gz	2002-06-30 16:42	5.3K
	logxor-lemmas.lisp.gz	1999-09-08 17:29	2.5K
	merge.lisp.gz	2006-08-29 21:05	8.0K
	near.lisp.gz	1999-09-08 17:29	1.7K
	odd.lisp.gz	1999-09-08 17:29	2.0K
	proofs.lisp.gz	1999-09-08 17:29	260
	reps.lisp.gz	1999-09-08 17:29	1.6K
	rewrite-theory.lisp.gz	2006-07-05 03:49	370
	rnd.lisp.gz	1999-09-08 17:29	736
	sticky.lisp.gz	1999-09-08 17:29	2.6K
	trunc.lisp.gz	1999-09-08 17:29	2.9K
	x-2xx.lisp.gz	2001-10-28 12:07	1.2K