Index of /users/moore/acl2/v3-5/distrib/acl2-sources/books/str

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	23-Feb-2009 09:54	130
	README	23-Feb-2009 09:54	264
	abbrevs.lisp	26-Mar-2009 22:35	2.9K
	acl2-customization.lisp	23-Feb-2009 09:54	19
	arithmetic.lisp	26-Mar-2009 22:35	2.5K
	cert.acl2	23-Feb-2009 09:54	18
	char-support.lisp	16-Mar-2009 15:29	8.0K
	digitp.lisp	26-Mar-2009 22:35	9.7K
	doc.lisp	23-Feb-2009 09:54	2.6K
	eqv.lisp	11-Apr-2009 20:51	5.3K
	ieqv.lisp	23-Feb-2009 09:54	7.4K
	iless.lisp	16-Mar-2009 15:29	12K
	iprefixp.lisp	23-Feb-2009 09:54	2.6K
	isort.lisp	23-Feb-2009 09:54	1.7K
	istrpos.lisp	11-Apr-2009 20:54	6.3K
	istrprefixp.lisp	23-Feb-2009 09:54	5.4K
	isubstrp.lisp	23-Feb-2009 09:54	1.8K
	package.lsp	26-Mar-2009 22:35	259
	strnatless.lisp	26-Mar-2009 22:35	29K
	strpos.lisp	11-Apr-2009 20:55	6.1K
	strprefixp.lisp	23-Feb-2009 09:54	4.8K
	substrp.lisp	23-Feb-2009 09:54	1.9K
	timetest.lsp	23-Feb-2009 09:54	1.8K
	top.lisp	26-Mar-2009 22:35	1.1K