acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / data-structures

This file is indexed.

/usr/share/acl2-6.3/books/data-structures/ 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/data-structures/alist-defthms.cert text/plain root:root 0o644 1.9 KB
/usr/share/acl2-6.3/books/data-structures/alist-defuns.cert text/plain root:root 0o644 247 bytes
/usr/share/acl2-6.3/books/data-structures/alist-theory.cert text/plain root:root 0o644 1.9 KB
/usr/share/acl2-6.3/books/data-structures/array1.cert text/plain root:root 0o644 375 bytes
/usr/share/acl2-6.3/books/data-structures/defalist.cert text/plain root:root 0o644 896 bytes
/usr/share/acl2-6.3/books/data-structures/deflist.cert text/plain root:root 0o644 2.1 KB
/usr/share/acl2-6.3/books/data-structures/doc-section.cert text/plain root:root 0o644 245 bytes
/usr/share/acl2-6.3/books/data-structures/list-defthms.cert text/plain root:root 0o644 1.5 KB
/usr/share/acl2-6.3/books/data-structures/list-defuns.cert text/plain root:root 0o644 245 bytes
/usr/share/acl2-6.3/books/data-structures/list-theory.cert text/plain root:root 0o644 1.5 KB
/usr/share/acl2-6.3/books/data-structures/memories/ root:root 0o755
/usr/share/acl2-6.3/books/data-structures/memories/log2.cert text/plain root:root 0o644 5.4 KB
/usr/share/acl2-6.3/books/data-structures/memories/memory-impl.cert text/plain root:root 0o644 6.6 KB
/usr/share/acl2-6.3/books/data-structures/memories/memory.cert text/plain root:root 0o644 7.0 KB
/usr/share/acl2-6.3/books/data-structures/memories/memtree.cert text/plain root:root 0o644 5.4 KB
/usr/share/acl2-6.3/books/data-structures/memories/private.cert text/plain root:root 0o644 613 bytes
/usr/share/acl2-6.3/books/data-structures/no-duplicates.cert text/plain root:root 0o644 249 bytes
/usr/share/acl2-6.3/books/data-structures/number-list-defthms.cert text/plain root:root 0o644 1.7 KB
/usr/share/acl2-6.3/books/data-structures/number-list-defuns.cert text/plain root:root 0o644 410 bytes
/usr/share/acl2-6.3/books/data-structures/number-list-theory.cert text/plain root:root 0o644 1.8 KB
/usr/share/acl2-6.3/books/data-structures/set-defthms.cert text/plain root:root 0o644 385 bytes
/usr/share/acl2-6.3/books/data-structures/set-defuns.cert text/plain root:root 0o644 240 bytes
/usr/share/acl2-6.3/books/data-structures/set-theory.cert text/plain root:root 0o644 527 bytes
/usr/share/acl2-6.3/books/data-structures/structures.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/data-structures/utilities.cert text/plain root:root 0o644 467 bytes

APT Browse - Built by Thomas Orozco.