
                              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)
    :xdoc STR::str

Thanks.

