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

	Name	Last modified	Size	Description
	Parent Directory		-
	even-odd2.lisp.gz	2003-07-25 15:10	1.3K
	complex-rationalp.lisp.gz	2003-08-04 13:30	296
	even-odd2-proofs.lisp.gz	2003-08-06 21:34	1.7K
	rationalp.lisp.gz	2003-08-07 16:41	351
	numerator.lisp.gz	2003-08-08 16:54	520
	floor.lisp.gz	2003-08-12 15:26	1.2K
	floor-proofs.lisp.gz	2003-08-18 13:50	1.6K
	denominator.lisp.gz	2003-08-19 20:56	484
	integerp.lisp.gz	2003-08-20 20:15	1.0K
	even-odd.lisp.gz	2003-08-20 20:15	1.6K
	extra-rules.lisp.gz	2003-08-20 21:27	1.4K
	ground-zero.lisp.gz	2003-08-21 18:27	257
	induct.lisp.gz	2003-09-01 14:12	591
	hacks.lisp.gz	2003-09-08 13:14	469
	negative-syntaxp.lisp.gz	2003-09-10 14:50	1.2K
	common-factor.lisp.gz	2003-09-14 15:30	1.1K
	fl-expt.lisp.gz	2003-09-14 18:12	1.1K
	product.lisp.gz	2003-09-19 11:58	518
	arith.lisp.gz	2003-09-19 11:58	563
	product-proofs.lisp.gz	2003-09-19 11:59	885
	unary-divide.lisp.gz	2003-09-19 14:23	678
	nniq.lisp.gz	2003-09-20 00:16	2.9K
	arith2.lisp.gz	2003-09-24 22:37	3.3K
	common-factor-defuns.lisp.gz	2003-09-24 23:05	1.8K
	fp.lisp.gz	2003-09-25 21:15	1.4K
	predicate.lisp.gz	2003-09-25 22:22	458
	inverted-factor.lisp.gz	2003-09-26 00:54	1.6K
	README.gz	2003-09-26 01:03	821
	fp2.lisp.gz	2004-02-29 14:36	4.2K
	power2p.lisp.gz	2004-02-29 15:49	1.4K
	fl-hacks.lisp.gz	2005-09-07 20:22	899
	x-2xx.lisp.gz	2005-09-08 11:47	849
	cg.lisp.gz	2005-09-08 12:37	944
	basic.lisp.gz	2005-09-08 14:11	2.2K
	fl-proofs.lisp.gz	2005-09-19 10:29	5.6K
	fl.lisp.gz	2005-09-19 10:30	4.1K
	mod-expt.lisp.gz	2005-09-19 10:37	1.9K
	top.lisp.gz	2005-11-27 08:54	846
	Makefile.gz	2005-11-28 14:24	1.6K
	expt-proofs.lisp.gz	2006-08-29 22:00	5.6K
	expt.lisp.gz	2006-08-29 23:04	4.0K
	expo-proofs.lisp.gz	2006-08-30 03:15	5.4K
	expo.lisp.gz	2006-08-30 05:51	4.5K
	mod.lisp.gz	2006-11-20 16:37	5.8K
	mod-proofs.lisp.gz	2006-11-20 16:38	8.1K