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

This file is indexed.

/usr/share/acl2-6.3/books/str/ 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/str/abbrevs.cert text/plain root:root 0o644 24.2 KB
/usr/share/acl2-6.3/books/str/arithmetic.cert text/plain root:root 0o644 5.2 KB
/usr/share/acl2-6.3/books/str/base64.cert text/html root:root 0o644 356.6 KB
/usr/share/acl2-6.3/books/str/case-conversion.cert text/plain root:root 0o644 69.8 KB
/usr/share/acl2-6.3/books/str/cat.cert text/plain root:root 0o644 49.1 KB
/usr/share/acl2-6.3/books/str/char-case.cert text/plain root:root 0o644 44.3 KB
/usr/share/acl2-6.3/books/str/char-fix.cert text/plain root:root 0o644 12.2 KB
/usr/share/acl2-6.3/books/str/coerce.cert text/plain root:root 0o644 24.1 KB
/usr/share/acl2-6.3/books/str/defs.cert text/plain root:root 0o644 120.8 KB
/usr/share/acl2-6.3/books/str/digitp.cert text/plain root:root 0o644 32.2 KB
/usr/share/acl2-6.3/books/str/eqv.cert text/plain root:root 0o644 27.6 KB
/usr/share/acl2-6.3/books/str/explode-atom.cert text/plain root:root 0o644 11.0 KB
/usr/share/acl2-6.3/books/str/explode-nonnegative-integer.cert text/plain root:root 0o644 10.8 KB
/usr/share/acl2-6.3/books/str/fast-cat.cert text/plain root:root 0o644 9.4 KB
/usr/share/acl2-6.3/books/str/firstn-chars.cert text/plain root:root 0o644 13.8 KB
/usr/share/acl2-6.3/books/str/hexify.cert text/plain root:root 0o644 11.2 KB
/usr/share/acl2-6.3/books/str/html-encode.cert text/plain root:root 0o644 36.5 KB
/usr/share/acl2-6.3/books/str/ieqv.cert text/plain root:root 0o644 30.0 KB
/usr/share/acl2-6.3/books/str/iless.cert text/plain root:root 0o644 32.5 KB
/usr/share/acl2-6.3/books/str/iprefixp.cert text/plain root:root 0o644 14.1 KB
/usr/share/acl2-6.3/books/str/isort.cert text/plain root:root 0o644 18.0 KB
/usr/share/acl2-6.3/books/str/istrpos.cert text/plain root:root 0o644 19.8 KB
/usr/share/acl2-6.3/books/str/istrprefixp.cert text/plain root:root 0o644 15.8 KB
/usr/share/acl2-6.3/books/str/isubstrp.cert text/plain root:root 0o644 24.6 KB
/usr/share/acl2-6.3/books/str/make-character-list.cert text/plain root:root 0o644 9.5 KB
/usr/share/acl2-6.3/books/str/natstr.cert text/plain root:root 0o644 34.4 KB
/usr/share/acl2-6.3/books/str/pad.cert text/plain root:root 0o644 36.0 KB
/usr/share/acl2-6.3/books/str/portcullis.cert text/plain root:root 0o644 741 bytes
/usr/share/acl2-6.3/books/str/prefix-lines.cert text/plain root:root 0o644 15.7 KB
/usr/share/acl2-6.3/books/str/stringify.cert text/plain root:root 0o644 14.4 KB
/usr/share/acl2-6.3/books/str/strline.cert application/x-elc root:root 0o644 22.7 KB
/usr/share/acl2-6.3/books/str/strnatless.cert text/plain root:root 0o644 74.7 KB
/usr/share/acl2-6.3/books/str/strpos.cert text/plain root:root 0o644 16.6 KB
/usr/share/acl2-6.3/books/str/strprefixp.cert text/plain root:root 0o644 14.0 KB
/usr/share/acl2-6.3/books/str/strrpos.cert text/plain root:root 0o644 19.7 KB
/usr/share/acl2-6.3/books/str/strsplit.cert text/plain root:root 0o644 7.1 KB
/usr/share/acl2-6.3/books/str/strsubst.cert text/plain root:root 0o644 25.6 KB
/usr/share/acl2-6.3/books/str/strtok.cert text/plain root:root 0o644 19.5 KB
/usr/share/acl2-6.3/books/str/strval.cert text/plain root:root 0o644 81.9 KB
/usr/share/acl2-6.3/books/str/subseq.cert text/plain root:root 0o644 6.2 KB
/usr/share/acl2-6.3/books/str/substrp.cert text/plain root:root 0o644 10.8 KB
/usr/share/acl2-6.3/books/str/suffixp.cert text/plain root:root 0o644 13.3 KB
/usr/share/acl2-6.3/books/str/symbols.cert text/plain root:root 0o644 20.0 KB
/usr/share/acl2-6.3/books/str/top.cert text/html root:root 0o644 48.8 KB

APT Browse - Built by Thomas Orozco.