acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / kestrel

This file is indexed.

/usr/share/acl2-8.0dfsg/books/kestrel/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/abstract-syntax.lisp text/plain root:root 0o644 23.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/abstractor.lisp text/plain root:root 0o644 42.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/cert.acl2 text/plain root:root 0o644 432 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/concrete-syntax.lisp text/plain root:root 0o644 13.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/core-rules.lisp text/plain root:root 0o644 4.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/examples.lisp text/html root:root 0o644 16.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/operations.lisp text/plain root:root 0o644 59.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/parser-and-abstractor-validation.lisp text/plain root:root 0o644 5.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/parser.lisp text/plain root:root 0o644 567.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/portcullis.acl2 text/plain root:root 0o644 421 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/portcullis.lisp text/plain root:root 0o644 408 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/semantics.lisp text/plain root:root 0o644 45.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/abnf/top.lisp text/html root:root 0o644 4.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/kestrel/apt/cert.acl2 text/plain root:root 0o644 459 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/portcullis.acl2 text/plain root:root 0o644 448 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/portcullis.lisp text/plain root:root 0o644 434 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/restrict-design.lisp text/html root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/restrict-reference.lisp text/plain root:root 0o644 13.8 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/restrict-tests.lisp text/x-lisp root:root 0o644 22.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/restrict.lisp text/plain root:root 0o644 50.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/tailrec-design.lisp text/html root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/tailrec-reference.lisp text/x-lisp root:root 0o644 23.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/tailrec-tests.lisp text/x-lisp root:root 0o644 33.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/tailrec.lisp text/plain root:root 0o644 113.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/top.lisp text/html root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/cert.acl2 text/plain root:root 0o644 358 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/print-specifiers-tests.lisp text/plain root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/print-specifiers.lisp text/plain root:root 0o644 5.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/top.lisp text/plain root:root 0o644 589 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/transformation-table-tests.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/transformation-table.lisp text/plain root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/kestrel/soft/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/kestrel/soft/cert.acl2 text/plain root:root 0o644 462 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/soft/documentation.lisp text/html root:root 0o644 49.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/soft/implementation.lisp text/plain root:root 0o644 58.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/soft/portcullis.acl2 text/plain root:root 0o644 451 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/soft/portcullis.lisp text/plain root:root 0o644 438 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/soft/tests.lisp text/x-lisp root:root 0o644 18.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/soft/top.lisp text/plain root:root 0o644 410 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/soft/workshop-paper-examples.lisp text/x-lisp root:root 0o644 9.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/soft/workshop-talk-examples.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/top.lisp text/html root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/acceptable-rewrite-rule-p.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/all-vars-theorems.lisp text/plain root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/arglistp-theorems.lisp text/plain root:root 0o644 734 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/assert-tests.lisp text/plain root:root 0o644 1.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/assert.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/auto-termination-tests.acl2 text/plain root:root 0o644 37 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/auto-termination-tests.lisp text/x-lisp root:root 0o644 6.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/auto-termination.lisp text/x-lisp root:root 0o644 37.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/bytes-tests.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/bytes.lisp text/plain root:root 0o644 8.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/characters-tests.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/characters.lisp text/plain root:root 0o644 4.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/copy-def.acl2 text/plain root:root 0o644 250 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/copy-def.lisp text/x-lisp root:root 0o644 13.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/defchoose-queries-tests.lisp text/x-lisp root:root 0o644 4.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/defchoose-queries.lisp text/plain root:root 0o644 5.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/define-sk-tests.lisp text/plain root:root 0o644 10.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/define-sk.lisp text/plain root:root 0o644 42.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/defmacroq.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/defthmr.lisp text/x-lisp root:root 0o644 5.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/defun-sk-queries-tests.lisp text/plain root:root 0o644 9.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/defun-sk-queries.lisp text/plain root:root 0o644 21.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/directed-untranslate-tests.lisp text/x-lisp root:root 0o644 40.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/directed-untranslate.acl2 text/plain root:root 0o644 109 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/directed-untranslate.lisp text/plain root:root 0o644 77.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/doublets-tests.lisp text/plain root:root 0o644 605 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/doublets.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/enumerations-tests.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/enumerations.lisp text/plain root:root 0o644 1005 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/er-soft-plus.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/error-checking-tests.lisp text/plain root:root 0o644 41.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/error-checking.lisp text/plain root:root 0o644 50.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/event-forms-tests.lisp text/x-lisp root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/event-forms.lisp text/x-lisp root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/fresh-names-tests.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/fresh-names.lisp text/plain root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/install-not-norm-event-tests.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/install-not-norm-event.lisp text/plain root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/integers-from-to-tests.lisp text/plain root:root 0o644 626 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/integers-from-to.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/keyword-value-lists-tests.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/keyword-value-lists.lisp text/plain root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/list-set-theorems.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/list-theorems.lisp text/plain root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/magic-macroexpand.lisp text/x-lisp root:root 0o644 7.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/make-executable.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/make-termination-theorem-tests.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/make-termination-theorem.lisp text/x-lisp root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/maybe-msgp-tests.lisp text/plain root:root 0o644 627 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/maybe-msgp.lisp text/plain root:root 0o644 980 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/maybe-unquote-tests.lisp text/plain root:root 0o644 666 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/maybe-unquote.lisp text/plain root:root 0o644 743 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/minimize-ruler-extenders.lisp text/x-lisp root:root 0o644 12.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/named-formulas-tests.lisp text/plain root:root 0o644 10.8 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/named-formulas.lisp text/plain root:root 0o644 11.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/nati-tests.lisp text/plain root:root 0o644 604 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/nati.lisp text/plain root:root 0o644 662 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/non-ascii-pathnames.acl2 text/plain root:root 0o644 48 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/non-ascii-pathnames.lisp text/plain root:root 0o644 3.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/numbered-names-tests.lisp text/plain root:root 0o644 6.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/numbered-names.lisp text/plain root:root 0o644 23.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/orelse.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/oset-theorems.acl2 text/plain root:root 0o644 45 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/oset-theorems.lisp text/plain root:root 0o644 835 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/osets-tests.lisp text/plain root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/osets.acl2 text/plain root:root 0o644 45 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/osets.lisp text/plain root:root 0o644 4.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/paired-names-tests.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/paired-names.lisp text/plain root:root 0o644 5.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/prove-interface-tests.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/prove-interface.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/strings-tests.acl2 text/plain root:root 0o644 87 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/strings-tests.lisp text/x-lisp root:root 0o644 12.8 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/strings.lisp text/plain root:root 0o644 8.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/symbol-symbol-alists-tests.lisp text/plain root:root 0o644 753 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/symbol-symbol-alists.lisp text/plain root:root 0o644 706 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/symbol-true-list-alists-tests.lisp text/plain root:root 0o644 805 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/symbol-true-list-alists.lisp text/plain root:root 0o644 753 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/symbols.lisp text/plain root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/term-function-recognizers-tests.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/term-function-recognizers.lisp text/plain root:root 0o644 4.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/terms-tests.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/terms.lisp text/plain root:root 0o644 20.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/testing.lisp text/plain root:root 0o644 903 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/top.lisp text/plain root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/trans-eval-error-triple.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/true-list-listp-theorems.lisp text/plain root:root 0o644 952 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/typed-list-theorems.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/typed-tuples-tests.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/typed-tuples.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/ubi.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/untranslate-preprocessing.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/user-interface-tests.lisp text/x-lisp root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/user-interface.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/verify-guards-program-tests.acl2 text/plain root:root 0o644 29 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/verify-guards-program-tests.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/verify-guards-program.lisp text/x-lisp root:root 0o644 15.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/world-queries-tests.lisp text/x-lisp root:root 0o644 35.0 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/world-queries.lisp text/plain root:root 0o644 52.2 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/world-theorems.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/xdoc-constructors-tests.lisp text/plain root:root 0o644 3.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/utilities/xdoc-constructors.lisp text/plain root:root 0o644 6.1 KB

APT Browse - Built by Thomas Orozco.