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