Index of /~moore/acl2/older-releases/v4-2/distrib/acl2-sources/books/str

	Name	Last modified	Size	Description
	Parent Directory		-
	fast-cat.acl2.gz	2010-10-17 10:07	89
	README.gz	2010-09-20 19:28	184
	Makefile.gz	2010-09-20 19:28	314
	cert.acl2.gz	2010-09-20 19:28	622
	acl2-customization.lsp.gz	2010-09-20 19:28	636
	package.lsp.gz	2010-11-17 14:42	753
	top.lisp.gz	2010-11-17 14:42	758
	LICENSE.gz	2010-09-20 19:28	905
	timetest.lsp.gz	2010-09-20 19:28	915
	isubstrp.lisp.gz	2010-09-20 19:28	1.0K
	isort.lisp.gz	2010-09-20 19:28	1.0K
	substrp.lisp.gz	2010-09-20 19:28	1.0K
	iprefixp.lisp.gz	2010-09-20 19:28	1.1K
	suffixp.lisp.gz	2010-11-17 14:42	1.2K
	pad.lisp.gz	2010-09-20 19:28	1.2K
	arithmetic.lisp.gz	2010-09-24 09:24	1.2K
	doc.lisp.gz	2010-09-20 19:28	1.2K
	abbrevs.lisp.gz	2010-11-17 14:42	1.3K
	strsplit.lisp.gz	2010-09-20 19:28	1.3K
	firstn-chars.lisp.gz	2010-09-20 19:28	1.4K
	strsubst.lisp.gz	2010-09-20 19:28	1.5K
	strprefixp.lisp.gz	2010-09-20 19:28	1.5K
	istrprefixp.lisp.gz	2010-09-20 19:28	1.6K
	eqv.lisp.gz	2010-09-20 19:28	1.6K
	char-support.lisp.gz	2010-09-20 19:28	1.6K
	strtok.lisp.gz	2010-09-20 19:28	1.7K
	fast-cat.lisp.gz	2010-10-17 10:07	1.7K
	istrpos.lisp.gz	2010-09-20 19:28	1.8K
	strline.lisp.gz	2010-09-20 19:28	1.8K
	strpos.lisp.gz	2010-09-20 19:28	1.9K
	natstr.lisp.gz	2010-09-20 19:28	1.9K
	strrpos.lisp.gz	2010-09-20 19:28	2.0K
	ieqv.lisp.gz	2010-09-20 19:28	2.0K
	cat.lisp.gz	2010-10-17 10:07	2.2K
	html-encode.lisp.gz	2010-09-20 19:28	2.4K
	iless.lisp.gz	2010-09-20 19:28	2.6K
	digitp.lisp.gz	2010-09-20 19:28	2.8K
	strnatless.lisp.gz	2010-10-22 07:15	6.0K
	gpl.txt.gz	2010-09-20 19:28	6.7K