acl2-books 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 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.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/alist-equiv.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/alist-keys.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/alist-vals.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/alistp.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/alists-compatible.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/fal-extract-vals.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/fal-extract.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/hons-assoc-equal.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/hons-rassoc-equal.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/pairlis.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/strip-cars.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/strip-cdrs.o root:root 0o777
/usr/share/acl2-6.3/books/std/alists/top.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/ root:root 0o755
/usr/share/acl2-6.3/books/std/io/base.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/combine.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/file-measure.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/nthcdr-bytes.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/read-file-bytes.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/read-file-characters-no-error.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/read-file-characters.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/read-file-lines.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/read-file-objects.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/read-ints.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/read-object.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/signed-byte-listp.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/take-bytes.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/top.o root:root 0o777
/usr/share/acl2-6.3/books/std/io/unsigned-byte-listp.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/ root:root 0o755
/usr/share/acl2-6.3/books/std/lists/acl2-count.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/append.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/butlast.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/coerce.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/duplicity.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/equiv.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/final-cdr.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/flatten.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/index-of.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/intersection.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/last.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/len.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/list-defuns.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/list-fix.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/make-character-list.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/mfc-utils.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/no-duplicatesp.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/nth.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/nthcdr.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/prefixp.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/rcons.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/remove.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/repeat.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/resize-list.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/rev.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/revappend.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/reverse.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/same-lengthp.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/sets.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/sublistp.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/subseq.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/take.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/top.o root:root 0o777
/usr/share/acl2-6.3/books/std/lists/true-listp.o root:root 0o777
/usr/share/acl2-6.3/books/std/misc/ root:root 0o755
/usr/share/acl2-6.3/books/std/misc/explode-atom.o root:root 0o777
/usr/share/acl2-6.3/books/std/misc/explode-nonnegative-integer.o root:root 0o777
/usr/share/acl2-6.3/books/std/misc/intern-in-package-of-symbol.o root:root 0o777
/usr/share/acl2-6.3/books/std/misc/top.o root:root 0o777
/usr/share/acl2-6.3/books/std/misc/two-nats-measure.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/ root:root 0o755
/usr/share/acl2-6.3/books/std/osets/cardinality.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/computed-hints.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/delete.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/difference.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/instance.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/intersect.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/map-tests.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/map.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/membership.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/outer.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/portcullis.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/primitives.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/quantify.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/sort.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/top.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/under-set-equiv.o root:root 0o777
/usr/share/acl2-6.3/books/std/osets/union.o root:root 0o777
/usr/share/acl2-6.3/books/std/strings/ root:root 0o755
/usr/share/acl2-6.3/books/std/strings/top.o root:root 0o777
/usr/share/acl2-6.3/books/std/system/ root:root 0o755
/usr/share/acl2-6.3/books/std/system/top.o root:root 0o777
/usr/share/acl2-6.3/books/std/top.o root:root 0o777
/usr/share/acl2-6.3/books/std/typed-lists/ root:root 0o755
/usr/share/acl2-6.3/books/std/typed-lists/atom-listp.o root:root 0o777
/usr/share/acl2-6.3/books/std/typed-lists/character-listp.o root:root 0o777
/usr/share/acl2-6.3/books/std/typed-lists/nat-listp.o root:root 0o777
/usr/share/acl2-6.3/books/std/typed-lists/portcullis.o root:root 0o777
/usr/share/acl2-6.3/books/std/typed-lists/signed-byte-listp.o root:root 0o777
/usr/share/acl2-6.3/books/std/typed-lists/string-listp.o root:root 0o777
/usr/share/acl2-6.3/books/std/typed-lists/symbol-listp.o root:root 0o777
/usr/share/acl2-6.3/books/std/typed-lists/top.o root:root 0o777
/usr/share/acl2-6.3/books/std/typed-lists/unsigned-byte-listp.o root:root 0o777

APT Browse - Built by Thomas Orozco.