other
(in-package "STR")
other
(include-book "ascii-chars")
other
(include-book "letter-chars")
other
(include-book "letter-digit-chars")
other
(include-book "letter-uscore-chars")
other
(include-book "nondigit-chars")
other
(include-book "printable-chars")
other
(include-book "ucletter-chars")
other
(include-book "lcletter-chars")
other
(include-book "ucletter-digit-chars")
other
(include-book "lcletter-digit-chars")
other
(defxdoc character-kinds :parents (std/strings) :short "Predicates that characterize various kinds of characters, and lists of such characters.")