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

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2005-11-27 07:19	3.3K
	README.gz	2003-09-25 22:17	208
	add3-proofs.lisp.gz	2005-09-16 09:45	2.2K
	add3.lisp.gz	2005-09-16 09:15	372
	all-ones.lisp.gz	2005-03-28 17:40	244
	ash.lisp.gz	2003-09-08 17:02	610
	away-proofs.lisp.gz	2005-11-27 15:51	6.2K
	away.lisp.gz	2003-09-25 00:15	2.3K
	badguys.lisp.gz	2004-01-30 10:26	541
	bias-proofs.lisp.gz	2005-03-28 17:44	666
	bias.lisp.gz	2005-03-28 17:44	501
	bitn-proofs.lisp.gz	2005-10-07 16:31	6.5K
	bitn.lisp.gz	2005-10-07 16:31	4.1K
	bits-proofs.lisp.gz	2005-10-07 12:02	8.8K
	bits-trunc-proofs.lisp.gz	2005-09-15 18:35	766
	bits-trunc.lisp.gz	2005-09-15 18:32	411
	bits.lisp.gz	2005-10-07 11:55	5.6K
	bvecp-helpers.lisp.gz	2004-03-16 23:31	1.5K
	bvecp-lemmas.lisp.gz	2005-08-16 14:57	1.4K
	bvecp-proofs.lisp.gz	2005-03-28 17:43	1.7K
	bvecp.lisp.gz	2005-03-29 11:16	1.5K
	cat-def.lisp.gz	2005-06-23 08:34	1.0K
	cat-proofs.lisp.gz	2005-09-08 15:57	6.4K
	cat.lisp.gz	2005-09-08 15:57	4.4K
	cert.lsp.gz	2001-09-16 19:11	300
	clocks.lisp.gz	2005-03-29 11:18	1.8K
	decode-proofs.lisp.gz	2003-09-25 21:27	456
	decode.lisp.gz	2003-09-25 17:28	382
	drnd.lisp.gz	2005-11-27 15:51	9.8K
	encode.lisp.gz	2005-03-29 11:19	1.0K
	ereps-proofs.lisp.gz	2006-01-27 11:05	3.4K
	ereps.lisp.gz	2003-09-24 14:35	1.4K
	fadd-extra.lisp.gz	2005-11-27 08:46	2.0K
	fadd-extra0.lisp.gz	2005-10-12 10:54	3.4K
	fadd.lisp.gz	2005-10-12 10:56	5.2K
	fast-and.lisp.gz	2005-03-29 14:25	272
	float-extra.lisp.gz	2005-11-27 21:25	2.9K
	float.lisp.gz	2005-11-28 13:27	7.9K
	ground-zero.lisp.gz	2003-08-30 13:24	164
	guards.lisp.gz	2005-09-08 17:10	722
	ireps.lisp.gz	2005-03-29 11:20	4.7K
	land.lisp.gz	2005-10-07 17:23	3.6K
	land0-proofs.lisp.gz	2005-09-15 18:14	4.9K
	land0.lisp.gz	2005-09-15 18:15	2.8K
	lextra-proofs.lisp.gz	2005-10-10 16:23	1.5K
	lextra.lisp.gz	2005-10-12 10:56	4.9K
	lextra0.lisp.gz	2005-09-13 14:41	415
	lior.lisp.gz	2005-11-27 09:23	3.2K
	lior0-proofs.lisp.gz	2005-10-07 17:43	3.5K
	lior0.lisp.gz	2005-10-07 17:43	2.5K
	lnot-proofs.lisp.gz	2005-09-09 18:59	4.0K
	lnot.lisp.gz	2005-09-09 18:59	1.7K
	log-equal.lisp.gz	2003-06-17 16:35	233
	log-proofs.lisp.gz	2005-09-19 10:37	6.0K
	log.lisp.gz	2005-06-23 08:37	1.7K
	logand-proofs.lisp.gz	2005-09-19 10:37	3.4K
	logand.lisp.gz	2005-03-29 11:23	2.5K
	logeqv.lisp.gz	2003-09-12 19:05	903
	logior-proofs.lisp.gz	2005-09-19 10:37	3.5K
	logior.lisp.gz	2003-09-21 17:55	1.6K
	logior1-proofs.lisp.gz	2003-09-21 16:57	219
	logior1.lisp.gz	2003-09-21 17:00	286
	lognot.lisp.gz	2005-03-29 11:23	663
	logorc1.lisp.gz	2003-06-08 14:15	552
	logs.lisp.gz	2006-01-27 11:03	1.1K
	logxor.lisp.gz	2005-09-08 11:20	1.4K
	lop1-proofs.lisp.gz	2005-11-27 06:56	3.0K
	lop1.lisp.gz	2005-11-27 06:56	383
	lop2-proofs.lisp.gz	2005-11-27 06:58	2.1K
	lop2.lisp.gz	2005-09-16 09:58	266
	lop3-proofs.lisp.gz	2005-11-27 07:05	5.5K
	lop3.lisp.gz	2005-09-16 10:06	872
	lxor.lisp.gz	2005-10-07 18:28	3.0K
	lxor0-proofs.lisp.gz	2005-09-14 13:51	3.0K
	lxor0.lisp.gz	2005-09-14 13:39	2.0K
	merge.lisp.gz	2005-09-19 10:51	12K
	merge2.lisp.gz	2005-09-15 10:08	1.1K
	mod4.lisp.gz	2003-09-12 18:45	1.1K
	model-helpers.lisp.gz	2003-09-17 12:18	249
	mulcat-proofs.lisp.gz	2005-09-08 15:59	1.4K
	mulcat.lisp.gz	2005-09-08 15:59	1.1K
	near+-proofs.lisp.gz	2005-11-27 15:51	4.9K
	near+.lisp.gz	2004-11-03 15:29	1.6K
	near-proofs.lisp.gz	2005-11-27 15:51	6.8K
	near.lisp.gz	2003-09-25 00:17	2.0K
	ocat.lisp.gz	2003-09-12 20:07	2.1K
	oddr-proofs.lisp.gz	2005-11-27 15:51	2.8K
	oddr.lisp.gz	2003-09-24 15:29	1.2K
	openers.lisp.gz	2005-03-29 11:27	629
	package-defs.lisp.gz	2005-01-24 17:02	1.0K
	rewrite-theory.lisp.gz	2006-07-05 03:50	380
	rnd.lisp.gz	2005-11-27 15:51	5.1K
	rom-helpers.lisp.gz	2003-09-08 13:18	357
	round-extra.lisp.gz	2005-11-27 15:51	1.3K
	rtl.lisp.gz	2005-08-16 14:57	3.6K
	rtlarr.lisp.gz	2005-04-01 16:43	3.3K
	setbitn-proofs.lisp.gz	2005-06-23 08:38	1.1K
	setbitn.lisp.gz	2005-06-23 08:38	813
	setbits-proofs.lisp.gz	2005-06-23 08:39	2.4K
	setbits.lisp.gz	2005-06-23 08:39	2.0K
	sgn.lisp.gz	2003-09-12 19:40	193
	shft.lisp.gz	2003-09-08 13:19	455
	simple-loop-helpers.lisp.gz	2003-09-17 12:19	1.6K
	simplify-model-helpers.lisp.gz	2005-03-21 10:52	577
	stick-proofs.lisp.gz	2005-09-19 11:20	5.3K
	stick.lisp.gz	2005-09-16 09:27	515
	sticky-proofs.lisp.gz	2005-11-27 15:51	3.7K
	sticky.lisp.gz	2004-11-04 09:49	1.4K
	sumbits.lisp.gz	2004-01-30 10:39	541
	top.lisp.gz	2005-09-19 10:28	157
	top1.lisp.gz	2005-12-19 22:56	5.7K
	trunc-proofs.lisp.gz	2005-11-27 15:51	5.8K
	trunc.lisp.gz	2003-09-25 00:29	2.5K
	util.lisp.gz	2005-03-29 16:07	1.3K