Index of /~moore/acl2/older-releases/v3-2/distrib/acl2-sources/books/unicode

	Name	Last modified	Size	Description
	Parent Directory		-
	test-performance/	2014-08-04 08:24	-
	open-input-channel.lisp.gz	2007-02-15 20:12	2.1K
	update-state.lisp.gz	2006-06-18 22:17	2.9K
	Makefile.gz	2006-05-18 09:45	1.3K
	explode-nonnegative-integer.lisp.gz	2006-04-07 07:35	1.8K
	z-listp.lisp.gz	2006-04-03 15:02	822
	utf8.lisp.gz	2006-04-03 15:02	6.3K
	utf8-table36.lisp.gz	2006-04-03 15:02	2.7K
	utf8-table35.lisp.gz	2006-04-03 15:02	2.7K
	utf8-encode.lisp.gz	2006-04-03 15:02	2.3K
	utf8-decode.lisp.gz	2006-04-03 15:02	8.0K
	utf8-decode-string.lisp.gz	2006-04-03 15:02	830
	unsigned-byte-listp.lisp.gz	2006-04-03 15:02	1.7K
	uchar.lisp.gz	2006-04-03 15:02	6.3K
	take.lisp.gz	2006-04-03 15:02	1.0K
	take-bytes.lisp.gz	2006-04-03 15:02	912
	sum-list.lisp.gz	2006-04-03 15:02	816
	string-append.lisp.gz	2006-04-03 15:02	670
	signed-byte-listp.lisp.gz	2006-04-03 15:02	1.3K
	sign-byte.lisp.gz	2006-04-03 15:02	1.0K
	reverse.lisp.gz	2006-04-03 15:02	686
	revappend.lisp.gz	2006-04-03 15:02	1.2K
	repeat.lisp.gz	2006-04-03 15:02	689
	read-utf8.lisp.gz	2006-04-03 15:02	4.2K
	read-object.lisp.gz	2006-04-03 15:02	800
	read-ints.lisp.gz	2006-04-03 15:02	4.4K
	read-file-characters.lisp.gz	2006-04-03 15:02	1.3K
	read-file-bytes.lisp.gz	2006-04-03 15:02	1.4K
	read-char.lisp.gz	2006-04-03 15:02	1.0K
	read-byte.lisp.gz	2006-04-03 15:02	1.3K
	pos-listp.lisp.gz	2006-04-03 15:02	797
	peek-char.lisp.gz	2006-04-03 15:02	814
	partition.lisp.gz	2006-04-03 15:02	1.0K
	open-input-channels.lisp.gz	2006-04-03 15:02	2.4K
	nthcdr.lisp.gz	2006-04-03 15:02	1.0K
	nthcdr-bytes.lisp.gz	2006-04-03 15:02	1.0K
	nat-listp.lisp.gz	2006-04-03 15:02	795
	list-fix.lisp.gz	2006-04-03 15:02	797
	intern-in-package-of-symbol.lisp.gz	2006-04-03 15:02	741
	flatten.lisp.gz	2006-04-03 15:02	776
	file-measure.lisp.gz	2006-04-03 15:02	1.0K
	explode-atom.lisp.gz	2006-04-03 15:02	869
	consless-listp.lisp.gz	2006-04-03 15:02	796
	combine.lisp.gz	2006-04-03 15:02	1.0K
	coerce.lisp.gz	2006-04-03 15:02	765
	close-input-channel.lisp.gz	2006-04-03 15:02	1.3K
	base10-digit-charp.lisp.gz	2006-04-03 15:02	953
	append.lisp.gz	2006-04-03 15:02	1.0K
	app.lisp.gz	2006-04-03 15:02	1.1K