Index of books/std/system

Files

• acceptable-rewrite-rule-p
• add-suffix-lst
• add-suffix-to-fn-lst
• add-suffix-to-fn-or-const-lst
• add-suffix-to-fn-or-const
• all-fnnames
• all-free-bound-vars-tests
• all-free-bound-vars
• all-lambdas-tests
• all-lambdas
• all-non-gv-exec-ffn-symbs-tests
• all-non-gv-exec-ffn-symbs
• all-non-gv-ffn-symbs-tests
• all-non-gv-ffn-symbs
• all-pkg-names-tests
• all-pkg-names
• all-program-ffn-symbs-tests
• all-program-ffn-symbs
• all-vars-in-untranslated-term
• all-vars-open-tests
• all-vars-open
• all-vars
• apply-fn-into-ifs-tests
• apply-fn-into-ifs
• apply-term-tests
• apply-term
• apply-terms-same-args-tests
• apply-terms-same-args
• apply-unary-to-terms-tests
• apply-unary-to-terms
• arglistp
• arity-plus-tests
• arity-plus
• arity
• check-and-call-tests
• check-and-call
• check-fn-call-tests
• check-fn-call
• check-if-call-tests
• check-if-call
• check-lambda-call-tests
• check-lambda-call
• check-list-call-tests
• check-list-call
• check-mbt-call-tests
• check-mbt-call
• check-mbt-dollar-call-tests
• check-mbt-dollar-call
• check-mv-let-call-tests
• check-mv-let-call
• check-nary-lambda-call-tests
• check-nary-lambda-call
• check-not-call-tests
• check-not-call
• check-or-call-tests
• check-or-call
• check-unary-lambda-call-tests
• check-unary-lambda-call
• check-user-lambda-tests
• check-user-lambda
• check-user-term-tests
• check-user-term
• classes-plus-tests
• classes-plus
• classes-tests
• classes
• close-lambdas-tests
• close-lambdas
• conjoin-equalities-tests
• conjoin-equalities
• conjoin
• constant-namep-tests
• constant-namep
• constant-queries
• constant-symbolp-tests
• constant-symbolp
• constant-value-tests
• constant-value
• defchoose-queries-tests
• defchoose-queries
• definedp-plus-tests
• definedp-plus
• definedp-tests
• definedp
• defun-sk-queries-tests
• defun-sk-queries
• dumb-negate-lit
• dumb-occur-var-open-tests
• dumb-occur-var-open
• enhanced-utilities
• event-landmark-names-tests
• event-landmark-names
• event-name-queries
• fapply-term-tests
• fapply-term
• fapply-terms-same-args-tests
• fapply-terms-same-args
• fapply-unary-to-terms-tests
• fapply-unary-to-terms
• flatten-ands-in-lit
• formals-plus-tests
• formals-plus
• fresh-logical-name-with-dollars-suffix
• fresh-namep
• fsubcor-var
• fsublis-fn-tests
• fsublis-fn
• fsublis-var-more-theorems
• fsublis-var-tests
• fsublis-var
• function-name-listp-tests
• function-name-listp
• function-namep-tests
• function-namep
• function-queries
• function-symbol-listp-tests
• function-symbol-listp
• function-symbolp
• fundef-disabledp-tests
• fundef-disabledp
• fundef-enabledp-tests
• fundef-enabledp
• genvar-dollar-tests
• genvar-dollar
• get-measure-plus-tests
• get-measure-plus
• get-measure-tests
• get-measure
• get-ruler-extenders-plus-tests
• get-ruler-extenders-plus
• get-ruler-extenders-tests
• get-ruler-extenders
• get-well-founded-relation-plus-tests
• get-well-founded-relation-plus
• get-well-founded-relation-tests
• get-well-founded-relation
• getprops
• guard-theorem-no-simplify-dollar-tests
• guard-theorem-no-simplify-dollar
• guard-theorem-no-simplify-tests
• guard-theorem-no-simplify
• guard-verified-exec-fnsp-tests
• guard-verified-exec-fnsp
• guard-verified-fnsp-tests
• guard-verified-fnsp
• guard-verified-p-plus-tests
• guard-verified-p-plus
• guard-verified-p-tests
• guard-verified-p
• ibody-tests
• ibody
• if-tree-leaf-terms-tests
• if-tree-leaf-terms
• implicate
• included-books-tests
• included-books
• induction-machine-plus-tests
• induction-machine-plus
• induction-machine-tests
• induction-machine
• install-not-normalized-dollar
• install-not-normalized-event-tests
• install-not-normalized-event
• invariant-risk
• irecursivep-plus-tests
• irecursivep-plus
• irecursivep-tests
• irecursivep
• irrelevant-formals-book
• irrelevant-formals
• known-packages-plus-tests
• known-packages-plus
• known-packages-tests
• known-packages
• lambda-closedp-tests
• lambda-closedp
• lambda-guard-verified-exec-fnsp-tests
• lambda-guard-verified-exec-fnsp
• lambda-guard-verified-fnsp-tests
• lambda-guard-verified-fnsp
• lambda-listp-tests
• lambda-listp
• lambda-logic-fnsp-tests
• lambda-logic-fnsp
• lambdap-tests
• lambdap
• logic-function-namep-tests
• logic-function-namep
• logical-name-listp-tests
• logical-name-listp
• macro-args-plus-tests
• macro-args-plus
• macro-keyword-args-plus-tests
• macro-keyword-args-plus
• macro-keyword-args-tests
• macro-keyword-args
• macro-name-listp-tests
• macro-name-listp
• macro-namep-tests
• macro-namep
• macro-queries
• macro-required-args-plus-tests
• macro-required-args-plus
• macro-required-args-tests
• macro-required-args
• macro-symbol-listp-tests
• macro-symbol-listp
• macro-symbolp-tests
• macro-symbolp
• make-mv-let-call-tests
• make-mv-let-call
• make-mv-nth-calls-tests
• make-mv-nth-calls
• maybe-pseudo-event-formp-tests
• maybe-pseudo-event-formp
• measured-subset-plus-tests
• measured-subset-plus
• measured-subset-tests
• measured-subset
• mvify-tests
• mvify
• no-stobjs-p-plus-tests
• no-stobjs-p-plus
• no-stobjs-p-tests
• no-stobjs-p
• non-executablep-plus-tests
• non-executablep-plus
• non-executablep-tests
• non-executablep
• non-parallel-book
• number-of-results-plus-tests
• number-of-results-plus
• number-of-results-tests
• number-of-results
• one-way-unify-dollar-tests
• one-way-unify-dollar
• partition-rest-and-keyword-args
• plist-worldp-with-formals
• primitivep-plus-tests
• primitivep-plus
• primitivep-tests
• primitivep
• pseudo-command-landmark-listp-tests
• pseudo-command-landmark-listp
• pseudo-event-form-fix
• pseudo-event-form-listp-tests
• pseudo-event-form-listp
• pseudo-event-formp-tests
• pseudo-event-formp
• pseudo-event-landmark-listp-tests
• pseudo-event-landmark-listp
• pseudo-lambda-listp-tests
• pseudo-lambda-listp
• pseudo-lambdap-tests
• pseudo-lambdap
• pseudo-termfn-listp-tests
• pseudo-termfn-listp
• pseudo-termfnp-tests
• pseudo-termfnp
• pseudo-tests-and-call-listp-tests
• pseudo-tests-and-call-listp
• pseudo-tests-and-callp-tests
• pseudo-tests-and-callp
• pure-raw-p-tests
• pure-raw-p
• quote-term-list-tests
• quote-term-list
• quote-term-tests
• quote-term
• rawp-tests
• rawp
• recursive-calls-tests
• recursive-calls
• remove-dead-if-branches-tests
• remove-dead-if-branches
• remove-mbe-tests
• remove-mbe
• remove-progn-tests
• remove-progn
• remove-trivial-vars-tests
• remove-trivial-vars
• remove-unused-vars-tests
• remove-unused-vars
• rune-disabledp-tests
• rune-disabledp
• rune-enabledp-tests
• rune-enabledp
• stobjs-in-plus-tests
• stobjs-in-plus
• stobjs-out-plus-tests
• stobjs-out-plus
• table-alist-plus-tests
• table-alist-plus
• tail-recursive-p-tests
• tail-recursive-p
• term-function-recognizers
• term-guard-obligation-tests
• term-guard-obligation
• term-possible-numbers-of-results-tests
• term-possible-numbers-of-results
• term-queries
• term-transformations
• termfn-listp-tests
• termfn-listp
• termfnp-tests
• termfnp
• termination-theorem-dollar-tests
• termination-theorem-dollar
• theorem-name-listp-tests
• theorem-name-listp
• theorem-namep-tests
• theorem-namep
• theorem-queries
• theorem-symbol-listp-tests
• theorem-symbol-listp
• theorem-symbolp-tests
• theorem-symbolp
• thm-formula-plus-tests
• thm-formula-plus
• thm-formula-tests
• thm-formula
• top
• ubody-plus-tests
• ubody-plus
• ubody-tests
• ubody
• uguard-plus-tests
• uguard-plus
• uguard-tests
• uguard
• unquote-term-tests
• unquote-term
• untranslate-dollar-tests
• untranslate-dollar
• unwrapped-nonexec-body-plus-tests
• unwrapped-nonexec-body-plus
• unwrapped-nonexec-body-tests
• unwrapped-nonexec-body
• w