Index of /users/moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/unicode

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2010-09-20 19:29	67
	app.lisp.gz	2011-01-28 16:18	1.2K
	append.lisp.gz	2011-01-28 16:18	1.0K
	base10-digit-charp.lisp.gz	2010-09-20 19:29	970
	close-input-channel.lisp.gz	2011-02-14 07:58	1.3K
	coerce.lisp.gz	2010-09-20 19:29	765
	combine.lisp.gz	2010-09-20 19:29	1.0K
	consless-listp.lisp.gz	2010-09-20 19:29	794
	explode-atom.lisp.gz	2010-09-20 19:29	915
	explode-nonnegative-integer.lisp.gz	2011-01-28 16:18	2.5K
	file-measure.lisp.gz	2011-02-14 07:58	1.2K
	flatten.lisp.gz	2010-09-20 19:29	911
	intern-in-package-of-symbol.lisp.gz	2010-09-20 19:29	740
	list-defuns.lisp.gz	2010-09-20 19:29	1.1K
	list-fix.lisp.gz	2011-01-28 16:18	1.0K
	nat-listp.lisp.gz	2010-09-20 19:29	804
	nthcdr-bytes.lisp.gz	2010-09-20 19:29	1.1K
	nthcdr.lisp.gz	2010-09-24 09:24	1.3K
	open-input-channel.lisp.gz	2011-02-14 07:58	2.1K
	open-input-channels.lisp.gz	2011-04-23 11:50	2.4K
	partition.lisp.gz	2010-09-20 19:29	1.0K
	peek-char.lisp.gz	2011-02-14 07:58	877
	prefixp.lisp.gz	2010-09-20 19:29	956
	read-byte.lisp.gz	2011-02-14 07:58	1.4K
	read-char.lisp.gz	2011-02-14 07:58	1.1K
	read-file-bytes.lisp.gz	2010-09-20 19:29	1.4K
	read-file-characters.lisp.gz	2010-09-20 19:29	1.6K
	read-file-objects.lisp.gz	2010-09-20 19:29	1.4K
	read-ints.lisp.gz	2010-09-20 19:29	4.3K
	read-object.lisp.gz	2011-02-14 07:58	853
	read-utf8.lisp.gz	2010-09-20 19:29	4.2K
	repeat.lisp.gz	2010-09-20 19:29	1.1K
	rev.lisp.gz	2010-09-20 19:29	1.1K
	revappend.lisp.gz	2011-01-28 16:18	1.2K
	reverse.lisp.gz	2010-09-20 19:29	682
	sign-byte.lisp.gz	2010-09-20 19:29	1.0K
	signed-byte-listp.lisp.gz	2010-09-20 19:29	1.3K
	string-append.lisp.gz	2010-09-20 19:29	670
	sum-list.lisp.gz	2010-09-20 19:29	816
	take-bytes.lisp.gz	2010-09-20 19:29	913
	take.lisp.gz	2011-01-28 16:18	1.0K
	test-performance/	2014-08-04 08:29	-
	two-nats-measure.lisp.gz	2010-09-20 19:29	1.2K
	uchar.lisp.gz	2010-09-20 19:29	6.3K
	unsigned-byte-listp.lisp.gz	2010-09-20 19:29	1.7K
	update-state.lisp.gz	2010-09-20 19:29	2.9K
	utf8-decode.lisp.gz	2010-09-20 19:29	7.9K
	utf8-encode.lisp.gz	2010-09-20 19:29	2.3K
	utf8-table35.lisp.gz	2010-09-20 19:29	2.6K
	utf8-table36.lisp.gz	2010-09-20 19:29	2.7K
	z-listp.lisp.gz	2010-09-20 19:29	819