Included Books
other
(in-package "ACL2")
include-book
(include-book "unquote-term")
include-book
(include-book "std/testing/assert-equal" :dir :system)
other
(assert-equal (unquote-term ''33) 33)
other
(assert-equal (unquote-term ''(a b c)) '(a b c))
other
(assert-equal (unquote-term-list nil) nil)