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

This file is indexed.

/usr/share/acl2-6.3/books/textbook/ 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/textbook/chap10/ root:root 0o755
/usr/share/acl2-6.3/books/textbook/chap10/ac-example.cert text/plain root:root 0o644 241 bytes
/usr/share/acl2-6.3/books/textbook/chap10/adder.cert text/plain root:root 0o644 227 bytes
/usr/share/acl2-6.3/books/textbook/chap10/compiler.cert text/plain root:root 0o644 386 bytes
/usr/share/acl2-6.3/books/textbook/chap10/fact.cert text/plain root:root 0o644 223 bytes
/usr/share/acl2-6.3/books/textbook/chap10/insertion-sort.cert text/plain root:root 0o644 253 bytes
/usr/share/acl2-6.3/books/textbook/chap10/tree.cert text/plain root:root 0o644 223 bytes
/usr/share/acl2-6.3/books/textbook/chap11/ root:root 0o755
/usr/share/acl2-6.3/books/textbook/chap11/compress.cert text/plain root:root 0o644 235 bytes
/usr/share/acl2-6.3/books/textbook/chap11/encap.cert text/plain root:root 0o644 377 bytes
/usr/share/acl2-6.3/books/textbook/chap11/finite-sets.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/textbook/chap11/how-many-soln1.cert text/plain root:root 0o644 3.6 KB
/usr/share/acl2-6.3/books/textbook/chap11/how-many-soln2.cert text/plain root:root 0o644 378 bytes
/usr/share/acl2-6.3/books/textbook/chap11/mergesort.cert text/plain root:root 0o644 506 bytes
/usr/share/acl2-6.3/books/textbook/chap11/perm-append.cert text/plain root:root 0o644 366 bytes
/usr/share/acl2-6.3/books/textbook/chap11/perm.cert text/plain root:root 0o644 223 bytes
/usr/share/acl2-6.3/books/textbook/chap11/qsort.cert text/plain root:root 0o644 494 bytes
/usr/share/acl2-6.3/books/textbook/chap11/starters.cert text/plain root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/textbook/chap11/summations-book.cert text/plain root:root 0o644 3.3 KB
/usr/share/acl2-6.3/books/textbook/chap11/summations.cert text/plain root:root 0o644 392 bytes
/usr/share/acl2-6.3/books/textbook/chap11/tautology.cert text/plain root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/textbook/chap11/xtr.cert text/plain root:root 0o644 220 bytes
/usr/share/acl2-6.3/books/textbook/chap11/xtr2.cert text/plain root:root 0o644 3.2 KB
/usr/share/acl2-6.3/books/textbook/chap3/ root:root 0o755
/usr/share/acl2-6.3/books/textbook/chap3/programs.cert text/plain root:root 0o644 233 bytes
/usr/share/acl2-6.3/books/textbook/chap4/ root:root 0o755
/usr/share/acl2-6.3/books/textbook/chap4/solutions-logic-mode.cert text/plain root:root 0o644 5.6 KB
/usr/share/acl2-6.3/books/textbook/chap4/solutions-program-mode.cert text/plain root:root 0o644 276 bytes
/usr/share/acl2-6.3/books/textbook/chap5/ root:root 0o755
/usr/share/acl2-6.3/books/textbook/chap5/solutions.cert text/plain root:root 0o644 237 bytes
/usr/share/acl2-6.3/books/textbook/chap6/ root:root 0o755
/usr/share/acl2-6.3/books/textbook/chap6/selected-solutions.cert text/plain root:root 0o644 4.5 KB

APT Browse - Built by Thomas Orozco.