Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/rtl/rel5/arithmetic

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2007-12-17 09:58	1.6K
	README.gz	2007-12-17 09:58	821
	arith.lisp.gz	2007-12-17 09:58	570
	arith2.lisp.gz	2008-02-13 08:22	3.3K
	basic.lisp.gz	2008-02-14 15:02	2.2K
	cg.lisp.gz	2007-12-17 09:58	944
	common-factor-defuns.lisp.gz	2007-12-17 09:58	1.8K
	common-factor.lisp.gz	2007-12-17 09:58	1.1K
	complex-rationalp.lisp.gz	2007-12-17 09:58	296
	denominator.lisp.gz	2007-12-17 09:58	487
	even-odd.lisp.gz	2007-12-17 09:58	1.6K
	even-odd2-proofs.lisp.gz	2007-12-17 09:58	1.7K
	even-odd2.lisp.gz	2007-12-17 09:58	1.3K
	expo-proofs.lisp.gz	2007-12-17 09:58	5.4K
	expo.lisp.gz	2007-12-17 09:58	4.5K
	expt-proofs.lisp.gz	2008-02-13 08:26	5.6K
	expt.lisp.gz	2008-02-13 08:28	4.1K
	extra-rules.lisp.gz	2007-12-17 09:58	1.4K
	fl-expt.lisp.gz	2007-12-17 09:58	1.1K
	fl-hacks.lisp.gz	2007-12-17 09:58	903
	fl-proofs.lisp.gz	2007-12-17 09:58	5.6K
	fl.lisp.gz	2007-12-17 09:58	4.1K
	floor-proofs.lisp.gz	2007-12-17 09:58	1.6K
	floor.lisp.gz	2007-12-17 09:58	1.2K
	fp.lisp.gz	2007-12-17 09:58	1.4K
	fp2.lisp.gz	2007-12-17 09:58	4.2K
	ground-zero.lisp.gz	2007-12-17 09:58	257
	hacks.lisp.gz	2008-02-13 08:19	483
	induct.lisp.gz	2007-12-17 09:58	591
	integerp.lisp.gz	2007-12-17 09:58	1.0K
	inverted-factor.lisp.gz	2007-12-17 09:58	1.6K
	mod-expt.lisp.gz	2007-12-17 09:58	1.9K
	mod-proofs.lisp.gz	2008-02-14 15:02	8.1K
	mod.lisp.gz	2008-02-14 15:02	5.8K
	negative-syntaxp.lisp.gz	2007-12-17 09:58	1.2K
	nniq.lisp.gz	2007-12-17 09:58	2.8K
	numerator.lisp.gz	2007-12-17 09:58	520
	power2p.lisp.gz	2007-12-17 09:58	1.4K
	predicate.lisp.gz	2007-12-17 09:58	458
	product-proofs.lisp.gz	2007-12-17 09:58	885
	product.lisp.gz	2007-12-17 09:58	518
	rationalp.lisp.gz	2007-12-17 09:58	351
	top.lisp.gz	2007-12-17 09:58	846
	unary-divide.lisp.gz	2007-12-17 09:58	678
	x-2xx.lisp.gz	2007-12-17 09:58	853