Included Books
other
(in-package "ACL2")
include-book
(include-book "pseudo-termfnp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (pseudo-termfnp 'f))
other
(assert! (pseudo-termfnp '(lambda (x) x)))