(in-package "ACL2")
(include-book "std/util/deflist" :dir :system)
(deflist nonkeyword-listp (x) :parents (std/basic keywordp) :short "Recognize lists of non-keywords." (keywordp x) :true-listp t :negatedp t :elementp-of-nil nil)