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

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