; This book is a wrapper book for the string library that we might consider to
; constitute a "standard approach" to manipulating strings and doing proofs
; about such manipulation.  Note that the included book is released under GPL.
; See str/top for the copyright holder and license.

(in-package "ACL2")

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