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

This file is indexed.

/usr/share/acl2-6.3/books/taspi/ 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/ root:root 0o755
/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
/usr/share/acl2-6.3/books/taspi/database/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/database/db-from-list.cert text/plain root:root 0o644 246 bytes
/usr/share/acl2-6.3/books/taspi/database/db.cert text/plain root:root 0o644 10.9 KB
/usr/share/acl2-6.3/books/taspi/database/entry.cert text/plain root:root 0o644 6.8 KB
/usr/share/acl2-6.3/books/taspi/database/filters.cert text/plain root:root 0o644 11.0 KB
/usr/share/acl2-6.3/books/taspi/database/props.cert text/plain root:root 0o644 6.7 KB
/usr/share/acl2-6.3/books/taspi/proofs/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/proofs/fringes-taspi.cert text/plain root:root 0o644 842 bytes
/usr/share/acl2-6.3/books/taspi/proofs/omerge-good-order.cert text/plain root:root 0o644 522 bytes
/usr/share/acl2-6.3/books/taspi/proofs/sets.cert text/plain root:root 0o644 308 bytes
/usr/share/acl2-6.3/books/taspi/sets-input/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/sets-input/consensus.cert text/plain root:root 0o644 9.4 KB
/usr/share/acl2-6.3/books/taspi/sets-input/greedy.cert text/plain root:root 0o644 9.5 KB
/usr/share/acl2-6.3/books/taspi/sets-input/mast.cert text/plain root:root 0o644 10.2 KB
/usr/share/acl2-6.3/books/taspi/sets-input/mct.cert text/plain root:root 0o644 10.3 KB
/usr/share/acl2-6.3/books/taspi/sets-input/multipolar-loose.cert text/plain root:root 0o644 9.5 KB
/usr/share/acl2-6.3/books/taspi/sets-input/top.cert text/plain root:root 0o644 11.6 KB
/usr/share/acl2-6.3/books/taspi/sets-input/tree-compat.cert text/plain root:root 0o644 9.7 KB
/usr/share/acl2-6.3/books/taspi/sets-input/tree-support-in-set.cert text/plain root:root 0o644 9.4 KB
/usr/share/acl2-6.3/books/taspi/single-input/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/single-input/taxa-based.cert text/plain root:root 0o644 10.0 KB
/usr/share/acl2-6.3/books/taspi/single-input/tree-stats.cert text/plain root:root 0o644 10.3 KB
/usr/share/acl2-6.3/books/taspi/tree-distance/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/tree-distance/rf.cert text/plain root:root 0o644 9.6 KB
/usr/share/acl2-6.3/books/taspi/tree-distance/symm-diff.cert text/plain root:root 0o644 9.6 KB
/usr/share/acl2-6.3/books/taspi/tree-generation/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/tree-generation/branch-and-bound/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/tree-generation/branch-and-bound/bandb.cert text/plain root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/taspi/tree-generation/distance-based/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/tree-generation/distance-based/naive-quartet-method.cert text/plain root:root 0o644 293 bytes
/usr/share/acl2-6.3/books/taspi/tree-generation/heuristics/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/tree-generation/heuristics/do-search.cert text/plain root:root 0o644 11.6 KB
/usr/share/acl2-6.3/books/taspi/tree-generation/heuristics/spr.cert text/plain root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/taspi/tree-generation/heuristics/tbr.cert text/plain root:root 0o644 11.5 KB
/usr/share/acl2-6.3/books/taspi/tree-generation/tree-gen-helper/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/tree-generation/tree-gen-helper/basics.cert text/plain root:root 0o644 10.3 KB
/usr/share/acl2-6.3/books/taspi/tree-score/ root:root 0o755
/usr/share/acl2-6.3/books/taspi/tree-score/ambig-score.cert text/plain root:root 0o644 1.5 KB
/usr/share/acl2-6.3/books/taspi/tree-score/circle-scoring.cert text/plain root:root 0o644 8.1 KB
/usr/share/acl2-6.3/books/taspi/tree-score/costs.cert text/plain root:root 0o644 7.5 KB
/usr/share/acl2-6.3/books/taspi/tree-score/efficient-pscores-help.cert text/plain root:root 0o644 276 bytes
/usr/share/acl2-6.3/books/taspi/tree-score/efficient-pscores.cert text/plain root:root 0o644 976 bytes
/usr/share/acl2-6.3/books/taspi/tree-score/fitch-scoring.cert text/plain root:root 0o644 7.6 KB
/usr/share/acl2-6.3/books/taspi/tree-score/min-length.cert text/plain root:root 0o644 1.4 KB
/usr/share/acl2-6.3/books/taspi/tree-score/opt-pairwise.cert text/plain root:root 0o644 926 bytes
/usr/share/acl2-6.3/books/taspi/tree-score/pscores.cert text/plain root:root 0o644 7.6 KB

APT Browse - Built by Thomas Orozco.