Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/rtl/rel4/user

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2007-12-17 09:58	728
	README.gz	2007-12-17 09:58	820
	away.lisp.gz	2007-12-17 09:58	1.8K
	bias.lisp.gz	2007-12-17 09:58	534
	bits-trunc.lisp.gz	2007-12-17 09:58	787
	brat.lisp.gz	2007-12-17 09:58	1.8K
	lextra.lisp.gz	2007-12-17 09:58	398
	logior1.lisp.gz	2007-12-17 09:58	290
	near.lisp.gz	2007-12-17 09:58	1.7K
	stick.lisp.gz	2007-12-17 09:58	506
	sumbits.lisp.gz	2007-12-17 09:58	1.0K
	top.lisp.gz	2007-12-17 09:58	950
	trunc.lisp.gz	2007-12-17 09:58	2.3K
	lnot.lisp.gz	2008-02-14 15:22	1.6K
	setbits.lisp.gz	2008-02-14 15:22	2.6K
	land.lisp.gz	2008-02-14 15:22	2.6K
	ereps.lisp.gz	2008-02-14 15:22	2.6K
	decode.lisp.gz	2008-02-14 15:22	417
	lxor.lisp.gz	2008-02-14 15:22	2.0K
	mulcat.lisp.gz	2008-02-14 15:22	1.6K
	bitn.lisp.gz	2008-02-14 15:22	3.9K
	bvecp.lisp.gz	2008-02-14 15:22	1.5K
	bits.lisp.gz	2008-02-14 15:22	4.7K
	lior.lisp.gz	2008-02-14 15:22	2.3K
	cat.lisp.gz	2008-02-14 15:22	4.7K
	setbitn.lisp.gz	2008-02-14 15:22	1.4K