Included Books
other
(in-package "ACL2")
include-book
(include-book "sublis-var")
other
(verify-termination meta-extract-rw+-term)
other
(verify-termination meta-extract-contextual-fact)
other
(verify-termination meta-extract-global-fact+)