Index of /~moore/acl2/older-releases/v3-1/distrib/acl2-sources/books/rtl/rel5/user

	Name	Last modified	Size	Description
	Parent Directory		-
	trunc.lisp.gz	2003-09-25 13:35	2.3K
	top.lisp.gz	2005-09-08 18:08	950
	sumbits.lisp.gz	2005-08-16 14:57	1.0K
	stick.lisp.gz	2005-09-16 10:35	514
	setbits.lisp.gz	2005-06-23 08:40	2.6K
	setbitn.lisp.gz	2005-06-23 08:40	1.4K
	near.lisp.gz	2003-09-25 13:39	1.7K
	mulcat.lisp.gz	2005-06-23 08:40	1.5K
	lxor.lisp.gz	2005-09-08 18:07	2.0K
	logior1.lisp.gz	2003-09-23 17:42	290
	lnot.lisp.gz	2005-09-09 19:00	1.6K
	lior.lisp.gz	2005-10-07 17:44	2.4K
	lextra.lisp.gz	2005-09-14 08:14	402
	land.lisp.gz	2005-09-09 18:07	2.6K
	ereps.lisp.gz	2005-06-23 08:39	2.6K
	decode.lisp.gz	2003-09-26 17:39	397
	cat.lisp.gz	2005-06-23 08:39	4.7K
	bvecp.lisp.gz	2003-09-26 14:01	1.4K
	brat.lisp.gz	2005-03-21 09:51	1.8K
	bits.lisp.gz	2006-01-27 11:06	4.7K
	bits-trunc.lisp.gz	2005-09-15 21:17	793
	bitn.lisp.gz	2005-10-07 16:31	3.9K
	bias.lisp.gz	2003-09-23 17:29	534
	away.lisp.gz	2003-09-25 13:37	1.8K
	README.gz	2003-09-26 01:20	820
	Makefile.gz	2005-09-19 08:39	732