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   
 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  

                              ACL2 String Library 
                                    README

This is a rudimentary string library for ACL2.  All of the documentation is
available by running:

   (include-book "str/top" :dir :system)
    :doc STR::str

Thanks.