Major Section: ACL2-BUILT-INS
The predicate good-atom-listp tests whether its argument is a
true-listp of ``good'' atoms, i.e., where each element is a
number, a symbol, a character, or a string.
Also see atom-listp.
To see the ACL2 definition of this function, see pf.
