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

	Name	Last modified	Size	Description
	Parent Directory		-
	top1.lisp.gz	2011-06-26 18:40	5.9K
	ireps.lisp.gz	2011-02-14 07:58	4.8K
	setbitn.lisp.gz	2010-09-20 19:29	834
	logorc1.lisp.gz	2010-09-20 19:29	552
	logs.lisp.gz	2010-09-20 19:29	1.1K
	cat-def.lisp.gz	2010-09-20 19:29	1.0K
	lognot.lisp.gz	2010-09-20 19:29	663
	bits.lisp.gz	2010-09-20 19:29	5.4K
	bvecp.lisp.gz	2010-09-20 19:29	1.5K
	badguys.lisp.gz	2010-09-20 19:29	541
	fadd.lisp.gz	2010-09-20 19:29	5.0K
	mulcat-proofs.lisp.gz	2010-09-20 19:29	1.4K
	trunc.lisp.gz	2010-09-20 19:29	2.5K
	oddr.lisp.gz	2010-09-20 19:29	1.2K
	drnd.lisp.gz	2010-09-20 19:29	9.8K
	sgn.lisp.gz	2010-09-20 19:29	193
	README.gz	2010-09-20 19:29	208
	logior1-proofs.lisp.gz	2010-09-20 19:29	219
	log.lisp.gz	2010-09-20 19:29	1.7K
	sticky-proofs.lisp.gz	2010-09-20 19:29	3.7K
	lop2.lisp.gz	2010-09-20 19:29	259
	ash.lisp.gz	2010-09-20 19:29	610
	package-defs.lisp.gz	2010-09-20 19:29	1.0K
	away-proofs.lisp.gz	2010-09-20 19:29	6.2K
	sticky.lisp.gz	2010-09-20 19:29	1.4K
	bvecp-proofs.lisp.gz	2010-09-20 19:29	1.8K
	trunc-proofs.lisp.gz	2010-09-20 19:29	5.8K
	bits-trunc-proofs.lisp.gz	2010-09-20 19:29	758
	near+.lisp.gz	2010-09-20 19:29	1.6K
	simple-loop-helpers.lisp.gz	2010-09-20 19:29	1.6K
	lextra.lisp.gz	2010-09-20 19:29	393
	merge.lisp.gz	2010-09-20 19:29	12K
	logeqv.lisp.gz	2010-09-20 19:29	903
	bitn.lisp.gz	2010-09-20 19:29	4.0K
	logior.lisp.gz	2010-09-20 19:29	1.6K
	bits-trunc.lisp.gz	2010-09-20 19:29	404
	simplify-model-helpers.lisp.gz	2010-09-20 19:29	577
	sumbits.lisp.gz	2010-09-20 19:29	541
	mulcat.lisp.gz	2010-09-20 19:29	1.1K
	lxor.lisp.gz	2010-09-20 19:29	2.0K
	decode.lisp.gz	2010-09-20 19:29	401
	setbits-proofs.lisp.gz	2010-09-20 19:29	2.4K
	bits-extra.lisp.gz	2010-09-20 19:29	3.0K
	merge2.lisp.gz	2010-09-20 19:29	887
	setbitn-proofs.lisp.gz	2010-09-20 19:29	1.2K
	lnot.lisp.gz	2010-09-20 19:29	1.6K
	lior-proofs.lisp.gz	2010-09-20 19:29	2.9K
	add3.lisp.gz	2010-09-20 19:29	363
	lop1.lisp.gz	2010-09-20 19:29	390
	rtlarr.lisp.gz	2010-09-20 19:29	3.3K
	lextra-proofs.lisp.gz	2010-09-20 19:29	1.5K
	float.lisp.gz	2010-09-20 19:29	7.7K
	shft.lisp.gz	2010-09-20 19:29	475
	logand.lisp.gz	2010-09-20 19:29	2.5K
	away.lisp.gz	2010-09-20 19:29	2.3K
	logior-proofs.lisp.gz	2010-09-20 19:29	3.5K
	oddr-proofs.lisp.gz	2010-09-20 19:29	2.8K
	encode.lisp.gz	2010-09-20 19:29	1.1K
	near-proofs.lisp.gz	2010-09-20 19:29	6.8K
	decode-proofs.lisp.gz	2010-09-20 19:29	476
	log-equal.lisp.gz	2010-09-20 19:29	233
	bias-proofs.lisp.gz	2010-09-20 19:29	666
	stick-proofs.lisp.gz	2010-09-20 19:29	5.3K
	lop3-proofs.lisp.gz	2010-09-20 19:29	5.4K
	lop2-proofs.lisp.gz	2010-09-20 19:29	2.1K
	lop1-proofs.lisp.gz	2010-09-20 19:29	2.7K
	add3-proofs.lisp.gz	2010-09-20 19:29	2.2K
	bias.lisp.gz	2010-09-20 19:29	501
	setbits.lisp.gz	2010-09-20 19:29	2.0K
	logior1.lisp.gz	2010-09-20 19:29	286
	ground-zero.lisp.gz	2010-09-20 19:29	164
	bvecp-lemmas.lisp.gz	2010-09-20 19:29	1.3K
	all-ones.lisp.gz	2010-09-20 19:29	244
	Makefile.gz	2010-09-20 19:29	69
	bits-proofs.lisp.gz	2010-09-20 19:29	8.5K
	cat.lisp.gz	2010-09-20 19:29	4.4K
	near+-proofs.lisp.gz	2010-09-20 19:29	4.9K
	lior.lisp.gz	2010-09-20 19:29	2.4K
	mod4.lisp.gz	2010-09-20 19:29	1.1K
	top.lisp.gz	2010-09-20 19:29	91
	bitn-proofs.lisp.gz	2010-09-20 19:29	5.9K
	rtl.lisp.gz	2010-09-20 19:29	3.6K
	model-helpers.lisp.gz	2010-09-20 19:29	249
	bvecp-helpers.lisp.gz	2010-09-20 19:29	1.5K
	fast-and.lisp.gz	2010-09-20 19:29	272
	rom-helpers.lisp.gz	2010-09-20 19:29	377
	lxor-proofs.lisp.gz	2010-09-20 19:29	2.4K
	rewrite-theory.lisp.gz	2010-09-20 19:29	380
	log-proofs.lisp.gz	2010-09-20 19:29	6.0K
	ocat.lisp.gz	2010-09-20 19:29	2.1K
	guards.lisp.gz	2010-09-20 19:29	642
	near.lisp.gz	2010-09-20 19:29	2.0K
	land-proofs.lisp.gz	2010-09-20 19:29	3.8K
	ereps-proofs.lisp.gz	2010-09-20 19:29	3.4K
	rnd.lisp.gz	2010-09-20 19:29	5.1K
	lnot-proofs.lisp.gz	2010-09-20 19:29	3.3K
	land.lisp.gz	2010-09-20 19:29	2.7K
	clocks.lisp.gz	2010-09-20 19:29	1.8K
	ereps.lisp.gz	2010-09-20 19:29	1.4K
	stick.lisp.gz	2010-09-20 19:29	507
	util.lisp.gz	2010-09-20 19:29	1.3K
	lop3.lisp.gz	2010-09-20 19:29	845
	cat-proofs.lisp.gz	2010-09-20 19:29	6.4K
	openers.lisp.gz	2010-09-20 19:29	629
	logxor.lisp.gz	2010-09-20 19:29	1.4K
	logand-proofs.lisp.gz	2010-09-20 19:29	3.4K