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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Makefile23-Feb-2009 09:54 130  
[TXT]README23-Feb-2009 09:54 264  
[TXT]abbrevs.lisp26-Mar-2009 22:35 2.9K 
[   ]acl2-customization.lisp23-Feb-2009 09:54 19  
[TXT]arithmetic.lisp26-Mar-2009 22:35 2.5K 
[   ]cert.acl223-Feb-2009 09:54 18  
[TXT]char-support.lisp16-Mar-2009 15:29 8.0K 
[TXT]digitp.lisp26-Mar-2009 22:35 9.7K 
[TXT]doc.lisp23-Feb-2009 09:54 2.6K 
[TXT]eqv.lisp11-Apr-2009 20:51 5.3K 
[TXT]ieqv.lisp23-Feb-2009 09:54 7.4K 
[TXT]iless.lisp16-Mar-2009 15:29 12K 
[TXT]iprefixp.lisp23-Feb-2009 09:54 2.6K 
[TXT]isort.lisp23-Feb-2009 09:54 1.7K 
[TXT]istrpos.lisp11-Apr-2009 20:54 6.3K 
[TXT]istrprefixp.lisp23-Feb-2009 09:54 5.4K 
[TXT]isubstrp.lisp23-Feb-2009 09:54 1.8K 
[   ]package.lsp26-Mar-2009 22:35 259  
[TXT]strnatless.lisp26-Mar-2009 22:35 29K 
[TXT]strpos.lisp11-Apr-2009 20:55 6.1K 
[TXT]strprefixp.lisp23-Feb-2009 09:54 4.8K 
[TXT]substrp.lisp23-Feb-2009 09:54 1.9K 
[TXT]timetest.lsp23-Feb-2009 09:54 1.8K 
[TXT]top.lisp26-Mar-2009 22:35 1.1K 

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