Index of /users/moore/acl2/v4-3/distrib/acl2-sources/books/str

	Name	Last modified	Size	Description
	Parent Directory		-
	LICENSE	20-Sep-2010 19:28	1.7K
	Makefile	20-Sep-2010 19:28	535
	README	20-Sep-2010 19:28	263
	abbrevs.lisp	10-May-2011 15:00	5.0K
	acl2-customization.lsp	20-Sep-2010 19:28	1.0K
	arithmetic.lisp	10-May-2011 15:00	3.4K
	case-conversion.lisp	10-May-2011 15:00	4.8K
	cat.lisp	17-Oct-2010 10:07	7.0K
	cert.acl2	03-Feb-2011 10:37	1.0K
	char-support.lisp	20-Sep-2010 19:28	8.2K
	digitp.lisp	12-Jan-2011 15:26	13K
	doc.lisp	10-May-2011 15:00	2.7K
	eqv.lisp	12-Jan-2011 15:26	5.5K
	fast-cat.acl2	17-Oct-2010 10:07	58
	fast-cat.lisp	17-Oct-2010 10:07	4.4K
	firstn-chars.lisp	20-Sep-2010 19:28	3.6K
	gpl.txt	20-Sep-2010 19:28	18K
	html-encode.lisp	20-Sep-2010 19:28	8.4K
	ieqv.lisp	12-Jan-2011 15:26	7.6K
	iless.lisp	12-Jan-2011 15:26	12K
	iprefixp.lisp	12-Jan-2011 15:26	2.8K
	isort.lisp	12-Jan-2011 15:26	2.0K
	istrpos.lisp	12-Jan-2011 15:26	6.5K
	istrprefixp.lisp	12-Jan-2011 15:26	5.6K
	isubstrp.lisp	02-Jun-2011 12:11	5.4K
	natstr.lisp	20-Sep-2010 19:28	7.1K
	package.lsp	17-Nov-2010 14:42	1.2K
	pad.lisp	02-Apr-2011 10:56	4.9K
	portcullis.acl2	03-Feb-2011 10:37	50
	portcullis.lisp	03-Feb-2011 10:37	21
	prefix-lines.lisp	02-Apr-2011 10:56	3.3K
	stringify.lisp	02-Apr-2011 10:56	15K
	strline.lisp	20-Sep-2010 19:28	6.2K
	strnatless.lisp	12-Jan-2011 15:26	31K
	strpos.lisp	12-Jan-2011 15:26	7.8K
	strprefixp.lisp	12-Jan-2011 15:26	5.0K
	strrpos.lisp	12-Jan-2011 15:26	8.1K
	strsplit.lisp	02-Apr-2011 10:56	4.0K
	strsubst.lisp	20-Sep-2010 19:28	4.0K
	strtok.lisp	20-Sep-2010 19:28	4.6K
	substrp.lisp	12-Jan-2011 15:26	2.1K
	suffixp.lisp	17-Nov-2010 14:42	2.7K
	timetest.lsp	20-Sep-2010 19:28	2.0K
	top.lisp	02-Apr-2011 10:56	1.6K