Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/rtl/rel1/support

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2010-09-20 19:29	69
	add.lisp.gz	2010-09-20 19:29	4.1K
	away.lisp.gz	2010-09-20 19:29	2.1K
	basic.lisp.gz	2010-09-20 19:29	1.8K
	divsqrt.lisp.gz	2010-09-20 19:29	8.4K
	fadd/	2014-08-04 08:29	-
	float.lisp.gz	2010-09-20 19:29	4.1K
	floor.lisp.gz	2010-09-20 19:29	1.0K
	fp.lisp.gz	2010-09-20 19:29	3.9K
	logdefs.lisp.gz	2010-09-20 19:29	4.8K
	loglemmas.lisp.gz	2010-09-20 19:29	3.3K
	logxor-def.lisp.gz	2010-09-20 19:29	5.3K
	logxor-lemmas.lisp.gz	2010-09-20 19:29	2.5K
	merge.lisp.gz	2010-09-20 19:29	8.0K
	near.lisp.gz	2010-09-20 19:29	1.7K
	odd.lisp.gz	2010-09-20 19:29	2.0K
	proofs.lisp.gz	2010-09-20 19:29	260
	reps.lisp.gz	2010-09-20 19:29	1.6K
	rewrite-theory.lisp.gz	2010-09-20 19:29	370
	rnd.lisp.gz	2010-09-20 19:29	736
	sticky.lisp.gz	2010-09-20 19:29	2.6K
	trunc.lisp.gz	2010-09-20 19:29	2.9K
	x-2xx.lisp.gz	2010-09-20 19:29	1.2K