acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / std

This file is indexed.

/usr/share/acl2-6.3/books/std/ is in acl2-books-certs 6.3-5.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.3/books/std/alists/ root:root 0o755
/usr/share/acl2-6.3/books/std/alists/alist-defuns.cert text/plain root:root 0o644 8.2 KB
/usr/share/acl2-6.3/books/std/alists/alist-equiv.cert text/plain root:root 0o644 37.1 KB
/usr/share/acl2-6.3/books/std/alists/alist-keys.cert text/plain root:root 0o644 16.9 KB
/usr/share/acl2-6.3/books/std/alists/alist-vals.cert text/plain root:root 0o644 13.8 KB
/usr/share/acl2-6.3/books/std/alists/alistp.cert text/plain root:root 0o644 13.0 KB
/usr/share/acl2-6.3/books/std/alists/alists-compatible.cert text/plain root:root 0o644 7.2 KB
/usr/share/acl2-6.3/books/std/alists/fal-extract-vals.cert text/plain root:root 0o644 15.3 KB
/usr/share/acl2-6.3/books/std/alists/fal-extract.cert text/plain root:root 0o644 15.4 KB
/usr/share/acl2-6.3/books/std/alists/hons-assoc-equal.cert text/plain root:root 0o644 14.4 KB
/usr/share/acl2-6.3/books/std/alists/hons-rassoc-equal.cert text/plain root:root 0o644 15.8 KB
/usr/share/acl2-6.3/books/std/alists/pairlis.cert text/plain root:root 0o644 12.4 KB
/usr/share/acl2-6.3/books/std/alists/strip-cars.cert text/plain root:root 0o644 15.2 KB
/usr/share/acl2-6.3/books/std/alists/strip-cdrs.cert text/plain root:root 0o644 15.5 KB
/usr/share/acl2-6.3/books/std/alists/top.cert text/plain root:root 0o644 28.2 KB
/usr/share/acl2-6.3/books/std/io/ root:root 0o755
/usr/share/acl2-6.3/books/std/io/base.cert text/plain root:root 0o644 139.2 KB
/usr/share/acl2-6.3/books/std/io/combine.cert text/plain root:root 0o644 56.1 KB
/usr/share/acl2-6.3/books/std/io/file-measure.cert text/plain root:root 0o644 9.7 KB
/usr/share/acl2-6.3/books/std/io/nthcdr-bytes.cert text/plain root:root 0o644 20.7 KB
/usr/share/acl2-6.3/books/std/io/read-file-bytes.cert text/plain root:root 0o644 26.5 KB
/usr/share/acl2-6.3/books/std/io/read-file-characters-no-error.cert text/plain root:root 0o644 11.7 KB
/usr/share/acl2-6.3/books/std/io/read-file-characters.cert text/plain root:root 0o644 29.2 KB
/usr/share/acl2-6.3/books/std/io/read-file-lines.cert text/plain root:root 0o644 23.4 KB
/usr/share/acl2-6.3/books/std/io/read-file-objects.cert text/plain root:root 0o644 58.5 KB
/usr/share/acl2-6.3/books/std/io/read-ints.cert text/plain root:root 0o644 195.2 KB
/usr/share/acl2-6.3/books/std/io/read-object.cert text/plain root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/std/io/signed-byte-listp.cert text/plain root:root 0o644 1.7 KB
/usr/share/acl2-6.3/books/std/io/take-bytes.cert text/plain root:root 0o644 17.7 KB
/usr/share/acl2-6.3/books/std/io/top.cert text/plain root:root 0o644 38.8 KB
/usr/share/acl2-6.3/books/std/io/unsigned-byte-listp.cert text/plain root:root 0o644 4.4 KB
/usr/share/acl2-6.3/books/std/lists/ root:root 0o755
/usr/share/acl2-6.3/books/std/lists/acl2-count.cert text/plain root:root 0o644 233 bytes
/usr/share/acl2-6.3/books/std/lists/append.cert text/plain root:root 0o644 8.0 KB
/usr/share/acl2-6.3/books/std/lists/butlast.cert text/plain root:root 0o644 3.7 KB
/usr/share/acl2-6.3/books/std/lists/coerce.cert text/plain root:root 0o644 3.6 KB
/usr/share/acl2-6.3/books/std/lists/duplicity.cert text/plain root:root 0o644 12.4 KB
/usr/share/acl2-6.3/books/std/lists/equiv.cert text/plain root:root 0o644 15.1 KB
/usr/share/acl2-6.3/books/std/lists/final-cdr.cert text/plain root:root 0o644 9.1 KB
/usr/share/acl2-6.3/books/std/lists/flatten.cert text/plain root:root 0o644 7.8 KB
/usr/share/acl2-6.3/books/std/lists/index-of.cert text/plain root:root 0o644 11.7 KB
/usr/share/acl2-6.3/books/std/lists/intersection.cert text/plain root:root 0o644 3.5 KB
/usr/share/acl2-6.3/books/std/lists/last.cert text/plain root:root 0o644 10.9 KB
/usr/share/acl2-6.3/books/std/lists/len.cert text/plain root:root 0o644 7.0 KB
/usr/share/acl2-6.3/books/std/lists/list-defuns.cert text/plain root:root 0o644 6.9 KB
/usr/share/acl2-6.3/books/std/lists/list-fix.cert text/plain root:root 0o644 10.5 KB
/usr/share/acl2-6.3/books/std/lists/make-character-list.cert text/plain root:root 0o644 3.5 KB
/usr/share/acl2-6.3/books/std/lists/mfc-utils.cert text/plain root:root 0o644 232 bytes
/usr/share/acl2-6.3/books/std/lists/no-duplicatesp.cert text/plain root:root 0o644 20.1 KB
/usr/share/acl2-6.3/books/std/lists/nth.cert text/plain root:root 0o644 6.3 KB
/usr/share/acl2-6.3/books/std/lists/nthcdr.cert text/plain root:root 0o644 13.8 KB
/usr/share/acl2-6.3/books/std/lists/prefixp.cert text/plain root:root 0o644 10.2 KB
/usr/share/acl2-6.3/books/std/lists/rcons.cert text/plain root:root 0o644 7.7 KB
/usr/share/acl2-6.3/books/std/lists/remove.cert text/plain root:root 0o644 12.2 KB
/usr/share/acl2-6.3/books/std/lists/repeat.cert text/plain root:root 0o644 15.7 KB
/usr/share/acl2-6.3/books/std/lists/resize-list.cert text/plain root:root 0o644 6.5 KB
/usr/share/acl2-6.3/books/std/lists/rev.cert text/plain root:root 0o644 10.6 KB
/usr/share/acl2-6.3/books/std/lists/revappend.cert text/plain root:root 0o644 10.3 KB
/usr/share/acl2-6.3/books/std/lists/reverse.cert text/plain root:root 0o644 45.6 KB
/usr/share/acl2-6.3/books/std/lists/same-lengthp.cert text/plain root:root 0o644 3.9 KB
/usr/share/acl2-6.3/books/std/lists/sets.cert text/plain root:root 0o644 42.1 KB
/usr/share/acl2-6.3/books/std/lists/sublistp.cert text/plain root:root 0o644 19.7 KB
/usr/share/acl2-6.3/books/std/lists/subseq.cert text/plain root:root 0o644 9.9 KB
/usr/share/acl2-6.3/books/std/lists/take.cert text/plain root:root 0o644 13.4 KB
/usr/share/acl2-6.3/books/std/lists/top.cert text/plain root:root 0o644 21.7 KB
/usr/share/acl2-6.3/books/std/lists/true-listp.cert text/plain root:root 0o644 9.9 KB
/usr/share/acl2-6.3/books/std/misc/ root:root 0o755
/usr/share/acl2-6.3/books/std/misc/explode-atom.cert text/plain root:root 0o644 10.3 KB
/usr/share/acl2-6.3/books/std/misc/explode-nonnegative-integer.cert text/plain root:root 0o644 10.2 KB
/usr/share/acl2-6.3/books/std/misc/intern-in-package-of-symbol.cert text/plain root:root 0o644 286 bytes
/usr/share/acl2-6.3/books/std/misc/top.cert text/plain root:root 0o644 3.7 KB
/usr/share/acl2-6.3/books/std/misc/two-nats-measure.cert text/plain root:root 0o644 14.6 KB
/usr/share/acl2-6.3/books/std/osets/ root:root 0o755
/usr/share/acl2-6.3/books/std/osets/cardinality.cert text/plain root:root 0o644 12.3 KB
/usr/share/acl2-6.3/books/std/osets/computed-hints.cert text/plain root:root 0o644 992 bytes
/usr/share/acl2-6.3/books/std/osets/delete.cert text/plain root:root 0o644 8.8 KB
/usr/share/acl2-6.3/books/std/osets/difference.cert text/plain root:root 0o644 9.8 KB
/usr/share/acl2-6.3/books/std/osets/instance.cert text/plain root:root 0o644 846 bytes
/usr/share/acl2-6.3/books/std/osets/intersect.cert text/plain root:root 0o644 15.0 KB
/usr/share/acl2-6.3/books/std/osets/map-tests.cert text/plain root:root 0o644 10.6 KB
/usr/share/acl2-6.3/books/std/osets/map.cert text/plain root:root 0o644 9.5 KB
/usr/share/acl2-6.3/books/std/osets/membership.cert text/plain root:root 0o644 77.9 KB
/usr/share/acl2-6.3/books/std/osets/outer.cert text/plain root:root 0o644 2.9 KB
/usr/share/acl2-6.3/books/std/osets/portcullis.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/std/osets/primitives.cert text/plain root:root 0o644 37.4 KB
/usr/share/acl2-6.3/books/std/osets/quantify.cert text/plain root:root 0o644 9.4 KB
/usr/share/acl2-6.3/books/std/osets/sort.cert text/x-lisp root:root 0o644 29.0 KB
/usr/share/acl2-6.3/books/std/osets/top.cert text/plain root:root 0o644 54.8 KB
/usr/share/acl2-6.3/books/std/osets/under-set-equiv.cert text/plain root:root 0o644 6.3 KB
/usr/share/acl2-6.3/books/std/osets/union.cert text/plain root:root 0o644 10.5 KB
/usr/share/acl2-6.3/books/std/strings/ root:root 0o755
/usr/share/acl2-6.3/books/std/strings/top.cert text/plain root:root 0o644 23.6 KB
/usr/share/acl2-6.3/books/std/system/ root:root 0o755
/usr/share/acl2-6.3/books/std/system/top.cert text/plain root:root 0o644 14.8 KB
/usr/share/acl2-6.3/books/std/top.cert application/x-elc root:root 0o644 44.6 KB
/usr/share/acl2-6.3/books/std/typed-lists/ root:root 0o755
/usr/share/acl2-6.3/books/std/typed-lists/atom-listp.cert text/plain root:root 0o644 42.1 KB
/usr/share/acl2-6.3/books/std/typed-lists/character-listp.cert text/plain root:root 0o644 44.0 KB
/usr/share/acl2-6.3/books/std/typed-lists/nat-listp.cert text/plain root:root 0o644 41.3 KB
/usr/share/acl2-6.3/books/std/typed-lists/portcullis.cert text/plain root:root 0o644 1.4 KB
/usr/share/acl2-6.3/books/std/typed-lists/signed-byte-listp.cert text/plain root:root 0o644 5.3 KB
/usr/share/acl2-6.3/books/std/typed-lists/string-listp.cert text/plain root:root 0o644 41.4 KB
/usr/share/acl2-6.3/books/std/typed-lists/symbol-listp.cert text/plain root:root 0o644 41.9 KB
/usr/share/acl2-6.3/books/std/typed-lists/top.cert text/plain root:root 0o644 21.0 KB
/usr/share/acl2-6.3/books/std/typed-lists/unsigned-byte-listp.cert text/plain root:root 0o644 11.4 KB

APT Browse - Built by Thomas Orozco.