terms

(include-book "std/system/all-lambdas" :dir :system)

(include-book "std/system/all-non-gv-exec-ffn-symbs" :dir :system)

(include-book "std/system/all-non-gv-ffn-symbs" :dir :system)

(include-book "std/system/all-pkg-names" :dir :system)

(include-book "std/system/all-program-ffn-symbs" :dir :system)

(include-book "std/system/all-vars-in-untranslated-term" :dir :system)

(include-book "std/system/apply-term" :dir :system)

(include-book "std/system/apply-terms-same-args" :dir :system)

(include-book "std/system/apply-unary-to-terms" :dir :system)

(include-book "std/system/check-user-lambda" :dir :system)

(include-book "std/system/check-user-term" :dir :system)

(include-book "std/system/fapply-term" :dir :system)

(include-book "std/system/fapply-terms-same-args" :dir :system)

(include-book "std/system/fapply-unary-to-terms" :dir :system)

(include-book "std/system/fsublis-fn" :dir :system)

(include-book "std/system/fsublis-var" :dir :system)

(include-book "std/system/guard-verified-exec-fnsp" :dir :system)

(include-book "std/system/guard-verified-fnsp" :dir :system)

(include-book "std/system/lambda-closedp" :dir :system)

(include-book "std/system/lambda-guard-verified-exec-fnsp" :dir :system)

(include-book "std/system/lambda-guard-verified-fnsp" :dir :system)

(include-book "std/system/lambda-logic-fnsp" :dir :system)

(include-book "std/system/term-function-recognizers" :dir :system)

(include-book "std/system/term-guard-obligation" :dir :system)

(include-book "std/basic/symbol-package-name-lst" :dir :system)

(include-book "std/typed-alists/symbol-symbol-alistp" :dir :system)

(include-book "std/util/defines" :dir :system)

(include-book "world-queries")