Major Section: ACL2-BUILT-INS
The function kwote-lst applies the function kwote to each element of a given list. The guard of (kwote-lst lst) is (true-listp lst).
kwote-lst
kwote
(kwote-lst lst)
(true-listp lst)
To see the ACL2 definition of this function, see pf.
