acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / defexec / other-apps

This file is indexed.

/usr/share/acl2-8.0dfsg/books/defexec/other-apps/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/misc/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/misc/memos.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/misc/stobjsim.lisp text/x-lisp root:root 0o644 7.3 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/extraction.lisp text/plain root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/final-theorem.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/first-last.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/intermediate-program.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/intermediate-to-spec.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/load-extract.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/merge-intermediate.lisp text/x-lisp root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/nth-update-nth.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/permutations.lisp text/x-lisp root:root 0o644 3.4 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/programs.lisp text/x-lisp root:root 0o644 11.3 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/sort-qs-properties.lisp text/plain root:root 0o644 10.8 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/spec-properties.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/split-qs-properties.lisp text/plain root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/qsort/total-order.lisp text/x-lisp root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/records/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/records/inline.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/records/records.lisp text/x-lisp root:root 0o644 11.7 KB
/usr/share/acl2-8.0dfsg/books/defexec/other-apps/records/recordsim.lisp text/x-lisp root:root 0o644 12.5 KB

APT Browse - Built by Thomas Orozco.