acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / taspi / code

This file is indexed.

/usr/share/acl2-6.3/books/taspi/code/ 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/taspi/code/brlens/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/code/brlens/brlens.cert text/plain root:root 0o644 760 bytes
/usr/share/acl2-6.3/books/taspi/code/brlens/trees-with-brlens.cert text/plain root:root 0o644 5.6 KB
/usr/share/acl2-6.3/books/taspi/code/build/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/code/build/build-term-guards.cert text/plain root:root 0o644 9.2 KB
/usr/share/acl2-6.3/books/taspi/code/build/build-term.cert text/plain root:root 0o644 7.4 KB
/usr/share/acl2-6.3/books/taspi/code/fringes/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/code/fringes/fringes-guards.cert text/plain root:root 0o644 9.1 KB
/usr/share/acl2-6.3/books/taspi/code/fringes/fringes-props.cert text/plain root:root 0o644 8.9 KB
/usr/share/acl2-6.3/books/taspi/code/fringes/fringes.cert text/plain root:root 0o644 7.2 KB
/usr/share/acl2-6.3/books/taspi/code/gen-helper/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/code/gen-helper/bdd-functions.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/taspi/code/gen-helper/extra.cert text/plain root:root 0o644 615 bytes
/usr/share/acl2-6.3/books/taspi/code/gen-helper/fast-lists.cert text/plain root:root 0o644 762 bytes
/usr/share/acl2-6.3/books/taspi/code/gen-helper/sets.cert text/plain root:root 0o644 744 bytes
/usr/share/acl2-6.3/books/taspi/code/gen-helper/top.cert text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/taspi/code/gen-trees/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/code/gen-trees/app-rev-lists.cert text/plain root:root 0o644 6.0 KB
/usr/share/acl2-6.3/books/taspi/code/gen-trees/btrees-bdds-sets.cert text/plain root:root 0o644 6.9 KB
/usr/share/acl2-6.3/books/taspi/code/gen-trees/btrees-bdds.cert text/plain root:root 0o644 6.3 KB
/usr/share/acl2-6.3/books/taspi/code/gen-trees/btrees.cert text/plain root:root 0o644 5.7 KB
/usr/share/acl2-6.3/books/taspi/code/gen-trees/sets-lists-trees.cert text/plain root:root 0o644 5.9 KB
/usr/share/acl2-6.3/books/taspi/code/gen-trees/top.cert text/plain root:root 0o644 7.2 KB
/usr/share/acl2-6.3/books/taspi/code/gen-trees/tree-predicates.cert text/plain root:root 0o644 5.3 KB
/usr/share/acl2-6.3/books/taspi/code/replete/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/code/replete/replete-guards.cert text/plain root:root 0o644 6.8 KB
/usr/share/acl2-6.3/books/taspi/code/replete/replete-helper.cert text/plain root:root 0o644 6.1 KB
/usr/share/acl2-6.3/books/taspi/code/replete/replete.cert text/plain root:root 0o644 6.2 KB
/usr/share/acl2-6.3/books/taspi/code/sequences/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/code/sequences/align.cert text/plain root:root 0o644 760 bytes
/usr/share/acl2-6.3/books/taspi/code/sequences/p-inform.cert text/plain root:root 0o644 7.5 KB
/usr/share/acl2-6.3/books/taspi/code/sequences/seqs.cert text/plain root:root 0o644 7.3 KB
/usr/share/acl2-6.3/books/taspi/code/tree-manip/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/code/tree-manip/insertion-based-sort.cert text/plain root:root 0o644 6.2 KB
/usr/share/acl2-6.3/books/taspi/code/tree-manip/merge-based-sort.cert text/plain root:root 0o644 6.2 KB
/usr/share/acl2-6.3/books/taspi/code/tree-manip/mv-root.cert text/plain root:root 0o644 9.4 KB
/usr/share/acl2-6.3/books/taspi/code/tree-manip/quicksort.cert text/plain root:root 0o644 245 bytes
/usr/share/acl2-6.3/books/taspi/code/tree-manip/sort-help.cert text/plain root:root 0o644 6.0 KB
/usr/share/acl2-6.3/books/taspi/code/tree-manip/top.cert text/plain root:root 0o644 10.0 KB

APT Browse - Built by Thomas Orozco.