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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]LICENSE19-May-2010 19:03 1.7K 
[   ]Makefile19-May-2010 19:03 490  
[TXT]README19-May-2010 19:03 263  
[TXT]abbrevs.lisp28-Jun-2010 14:23 4.3K 
[TXT]acl2-customization.lsp19-May-2010 19:03 1.0K 
[TXT]arithmetic.lisp19-May-2010 19:03 4.4K 
[TXT]cat.lisp19-May-2010 19:03 5.7K 
[TXT]cert.acl219-May-2010 19:03 1.0K 
[TXT]char-support.lisp19-May-2010 19:03 8.2K 
[TXT]digitp.lisp19-May-2010 19:03 12K 
[TXT]doc.lisp19-May-2010 19:03 2.8K 
[TXT]eqv.lisp19-May-2010 19:03 5.5K 
[TXT]firstn-chars.lisp19-May-2010 19:03 3.6K 
[TXT]gpl.txt19-May-2010 19:03 18K 
[TXT]html-encode.lisp19-May-2010 19:03 8.4K 
[TXT]ieqv.lisp19-May-2010 19:03 7.5K 
[TXT]iless.lisp19-May-2010 19:03 12K 
[TXT]iprefixp.lisp19-May-2010 19:03 2.8K 
[TXT]isort.lisp19-May-2010 19:03 1.9K 
[TXT]istrpos.lisp19-May-2010 19:03 6.5K 
[TXT]istrprefixp.lisp19-May-2010 19:03 5.6K 
[TXT]isubstrp.lisp19-May-2010 19:03 2.0K 
[TXT]natstr.lisp19-May-2010 19:03 4.1K 
[TXT]package.lsp19-May-2010 19:03 1.2K 
[TXT]pad.lisp19-May-2010 19:03 4.2K 
[TXT]strline.lisp28-Jun-2010 14:23 6.2K 
[TXT]strnatless.lisp19-May-2010 19:03 29K 
[TXT]strpos.lisp19-May-2010 19:03 6.3K 
[TXT]strprefixp.lisp19-May-2010 19:03 5.0K 
[TXT]strrpos.lisp28-Jun-2010 14:23 7.0K 
[TXT]strsplit.lisp19-May-2010 19:03 4.0K 
[TXT]substrp.lisp19-May-2010 19:03 2.1K 
[TXT]timetest.lsp19-May-2010 19:03 2.0K 
[TXT]top.lisp28-Jun-2010 14:23 1.5K 

Apache/2.2.14 (Ubuntu) Server at www.cs.utexas.edu Port 80