Index of /users/moore/acl2/older-releases/v4-1/distrib/acl2-sources/books/str

	Name	Last modified	Size	Description
	Parent Directory		-
	LICENSE.gz	2010-05-19 19:03	905
	Makefile.gz	2010-05-19 19:03	294
	README.gz	2010-05-19 19:03	184
	abbrevs.lisp.gz	2010-08-27 12:44	1.2K
	acl2-customization.lsp.gz	2010-05-19 19:03	636
	arithmetic.lisp.gz	2010-05-19 19:03	1.4K
	cat.lisp.gz	2010-05-19 19:03	1.7K
	cert.acl2.gz	2010-05-19 19:03	622
	char-support.lisp.gz	2010-05-19 19:03	1.6K
	digitp.lisp.gz	2010-07-18 14:22	2.8K
	doc.lisp.gz	2010-05-19 19:03	1.2K
	eqv.lisp.gz	2010-05-19 19:03	1.6K
	firstn-chars.lisp.gz	2010-05-19 19:03	1.4K
	gpl.txt.gz	2010-05-19 19:03	6.7K
	html-encode.lisp.gz	2010-05-19 19:03	2.4K
	ieqv.lisp.gz	2010-05-19 19:03	2.0K
	iless.lisp.gz	2010-05-19 19:03	2.6K
	iprefixp.lisp.gz	2010-05-19 19:03	1.1K
	isort.lisp.gz	2010-05-19 19:03	1.0K
	istrpos.lisp.gz	2010-05-19 19:03	1.8K
	istrprefixp.lisp.gz	2010-05-19 19:03	1.6K
	isubstrp.lisp.gz	2010-05-19 19:03	1.0K
	natstr.lisp.gz	2010-07-08 14:19	1.9K
	package.lsp.gz	2010-05-19 19:03	747
	pad.lisp.gz	2010-05-19 19:03	1.2K
	strline.lisp.gz	2010-06-28 14:23	1.8K
	strnatless.lisp.gz	2010-05-19 19:03	5.7K
	strpos.lisp.gz	2010-07-07 09:15	1.9K
	strprefixp.lisp.gz	2010-05-19 19:03	1.5K
	strrpos.lisp.gz	2010-07-07 09:15	2.0K
	strsplit.lisp.gz	2010-05-19 19:03	1.3K
	strsubst.lisp.gz	2010-08-27 12:44	1.5K
	strtok.lisp.gz	2010-07-06 14:11	1.7K
	substrp.lisp.gz	2010-05-19 19:03	1.0K
	timetest.lsp.gz	2010-05-19 19:03	915
	top.lisp.gz	2010-08-27 12:44	753