Included Books
other
(in-package "ACL2")
include-book
(include-book "pseudo-event-form-listp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (pseudo-event-form-listp nil))
other
(assert! (pseudo-event-form-listp '((defun f (x) x) (encapsulate nil (defun f (x) x)))))