Included Books
all-fnnames
all-free-bound-vars
all-lambdas
all-non-gv-exec-ffn-symbs
all-non-gv-ffn-symbs
all-pkg-names
all-program-ffn-symbs
all-vars
all-vars-in-untranslated-term
all-vars-open
check-and-call
check-fn-call
check-if-call
check-lambda-call
check-list-call
check-mbt-call
check-mbt-dollar-call
check-mv-let-call
check-nary-lambda-call
check-not-call
check-or-call
check-unary-lambda-call
check-user-lambda
check-user-term
dumb-occur-var-open
guard-verified-exec-fnsp
guard-verified-fnsp
if-tree-leaf-terms
lambda-closedp
lambda-guard-verified-exec-fnsp
lambda-guard-verified-fnsp
lambda-logic-fnsp
one-way-unify-dollar
term-guard-obligation
term-possible-numbers-of-results
other
(in-package "ACL2")
include-book
(include-book "all-fnnames")
include-book
(include-book "all-free-bound-vars")
include-book
(include-book "all-lambdas")
include-book
(include-book "all-non-gv-exec-ffn-symbs")
include-book
(include-book "all-non-gv-ffn-symbs")
include-book
(include-book "all-pkg-names")
include-book
(include-book "all-program-ffn-symbs")
include-book
(include-book "all-vars")
include-book
(include-book "all-vars-in-untranslated-term")
include-book
(include-book "all-vars-open")
include-book
(include-book "check-and-call")
include-book
(include-book "check-fn-call")
include-book
(include-book "check-if-call")
include-book
(include-book "check-lambda-call")
include-book
(include-book "check-list-call")
include-book
(include-book "check-mbt-call")
include-book
(include-book "check-mbt-dollar-call")
include-book
(include-book "check-mv-let-call")
include-book
(include-book "check-nary-lambda-call")
include-book
(include-book "check-not-call")
include-book
(include-book "check-or-call")
include-book
(include-book "check-unary-lambda-call")
include-book
(include-book "check-user-lambda")
include-book
(include-book "check-user-term")
include-book
(include-book "dumb-occur-var-open")
include-book
(include-book "guard-verified-exec-fnsp")
include-book
(include-book "guard-verified-fnsp")
include-book
(include-book "if-tree-leaf-terms")
include-book
(include-book "lambda-closedp")
include-book
(include-book "lambda-guard-verified-exec-fnsp")
include-book
(include-book "lambda-guard-verified-fnsp")
include-book
(include-book "lambda-logic-fnsp")
include-book
(include-book "one-way-unify-dollar")
include-book
(include-book "term-guard-obligation")
include-book
(include-book "term-possible-numbers-of-results")
other
(defxdoc std/system/term-queries :parents (std/system) :short "Utilities to query terms.")