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

This file is indexed.

/usr/share/acl2-6.3/books/defexec/ 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/defexec/dag-unification/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/dag-unification/basic.cert text/plain root:root 0o644 3.2 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/dag-unification-l.cert text/plain root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/dag-unification-rules.cert text/plain root:root 0o644 4.3 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/dag-unification-st.cert text/plain root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/dags.cert text/plain root:root 0o644 3.4 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/list-unification-rules.cert text/plain root:root 0o644 4.0 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/matching.cert text/plain root:root 0o644 3.5 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/subsumption-subst.cert text/plain root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/subsumption.cert text/plain root:root 0o644 3.7 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/terms-as-dag.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/terms-dag-stobj.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/defexec/dag-unification/terms.cert text/plain root:root 0o644 3.4 KB
/usr/share/acl2-6.3/books/defexec/defpun-exec/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/defpun-exec/defpun-exec.cert text/plain root:root 0o644 370 bytes
/usr/share/acl2-6.3/books/defexec/find-path/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/find-path/fpst.cert text/plain root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/defexec/find-path/graph/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/find-path/graph/find-path1.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/defexec/find-path/graph/find-path2.cert text/plain root:root 0o644 4.7 KB
/usr/share/acl2-6.3/books/defexec/find-path/graph/find-path3.cert text/plain root:root 0o644 4.7 KB
/usr/share/acl2-6.3/books/defexec/find-path/graph/helpers.cert text/plain root:root 0o644 240 bytes
/usr/share/acl2-6.3/books/defexec/find-path/graph/linear-find-path.cert text/plain root:root 0o644 4.8 KB
/usr/share/acl2-6.3/books/defexec/find-path/run-fpst.cert text/plain root:root 0o644 5.1 KB
/usr/share/acl2-6.3/books/defexec/ordinals/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/ordinals/supporting-ordinals.cert text/plain root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/defexec/other-apps/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/other-apps/misc/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/other-apps/misc/memos.cert text/plain root:root 0o644 234 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/misc/stobjsim.cert text/plain root:root 0o644 244 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/extraction.cert text/plain root:root 0o644 4.2 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/final-theorem.cert text/plain root:root 0o644 5.4 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/first-last.cert text/plain root:root 0o644 3.7 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/intermediate-program.cert text/plain root:root 0o644 590 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/intermediate-to-spec.cert text/plain root:root 0o644 4.2 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/load-extract.cert text/plain root:root 0o644 4.4 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/merge-intermediate.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/nth-update-nth.cert text/plain root:root 0o644 263 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/permutations.cert text/plain root:root 0o644 256 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/programs.cert text/plain root:root 0o644 3.6 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/sort-qs-properties.cert text/plain root:root 0o644 5.2 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/spec-properties.cert text/plain root:root 0o644 3.9 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/split-qs-properties.cert text/plain root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/defexec/other-apps/qsort/total-order.cert text/plain root:root 0o644 252 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/records/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/other-apps/records/inline.cert text/plain root:root 0o644 239 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/records/records-bsd.cert text/plain root:root 0o644 406 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/records/records.cert text/plain root:root 0o644 1021 bytes
/usr/share/acl2-6.3/books/defexec/other-apps/records/recordsim.cert text/plain root:root 0o644 1.3 KB
/usr/share/acl2-6.3/books/defexec/reflexive/ root:root 0o755
/usr/share/acl2-6.3/books/defexec/reflexive/reflexive.cert text/plain root:root 0o644 543 bytes

APT Browse - Built by Thomas Orozco.