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

This file is indexed.

/usr/share/acl2-8.0dfsg/books/kestrel/utilities/ 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/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.