acl2-books-source 7.1-1 / usr / share / acl2-7.1 / books / textbook

This file is indexed.

/usr/share/acl2-7.1/books/textbook/ is in acl2-books-source 7.1-1.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-7.1/books/textbook/chap10/ root:root 0o755
/usr/share/acl2-7.1/books/textbook/chap10/ac-example.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-7.1/books/textbook/chap10/adder.lisp text/x-lisp root:root 0o644 1.8 KB
/usr/share/acl2-7.1/books/textbook/chap10/compiler.acl2 text/plain root:root 0o644 844 bytes
/usr/share/acl2-7.1/books/textbook/chap10/compiler.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-7.1/books/textbook/chap10/fact.lisp text/x-lisp root:root 0o644 622 bytes
/usr/share/acl2-7.1/books/textbook/chap10/insertion-sort.lisp text/x-lisp root:root 0o644 979 bytes
/usr/share/acl2-7.1/books/textbook/chap10/tree.lisp text/x-lisp root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/textbook/chap11/ root:root 0o755
/usr/share/acl2-7.1/books/textbook/chap11/compress.lisp text/x-lisp root:root 0o644 10.8 KB
/usr/share/acl2-7.1/books/textbook/chap11/encap.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-7.1/books/textbook/chap11/finite-sets.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-7.1/books/textbook/chap11/how-many-soln1.lisp text/x-lisp root:root 0o644 8.1 KB
/usr/share/acl2-7.1/books/textbook/chap11/how-many-soln2.lisp text/x-lisp root:root 0o644 12.2 KB
/usr/share/acl2-7.1/books/textbook/chap11/mergesort.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-7.1/books/textbook/chap11/perm-append.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-7.1/books/textbook/chap11/perm.lisp text/x-lisp root:root 0o644 3.9 KB
/usr/share/acl2-7.1/books/textbook/chap11/qsort.lisp text/x-lisp root:root 0o644 8.1 KB
/usr/share/acl2-7.1/books/textbook/chap11/starters.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-7.1/books/textbook/chap11/summations-book.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-7.1/books/textbook/chap11/summations.lisp text/x-lisp root:root 0o644 5.3 KB
/usr/share/acl2-7.1/books/textbook/chap11/tautology.lisp text/x-lisp root:root 0o644 11.4 KB
/usr/share/acl2-7.1/books/textbook/chap11/xtr.lisp text/x-lisp root:root 0o644 6.5 KB
/usr/share/acl2-7.1/books/textbook/chap11/xtr2.lisp text/x-lisp root:root 0o644 1020 bytes
/usr/share/acl2-7.1/books/textbook/chap3/ root:root 0o755
/usr/share/acl2-7.1/books/textbook/chap3/programs.lisp text/x-lisp root:root 0o644 6.7 KB
/usr/share/acl2-7.1/books/textbook/chap4/ root:root 0o755
/usr/share/acl2-7.1/books/textbook/chap4/solutions-logic-mode.lisp text/x-lisp root:root 0o644 17.9 KB
/usr/share/acl2-7.1/books/textbook/chap4/solutions-program-mode.lisp text/x-lisp root:root 0o644 12.0 KB
/usr/share/acl2-7.1/books/textbook/chap5/ root:root 0o755
/usr/share/acl2-7.1/books/textbook/chap5/solutions.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-7.1/books/textbook/chap6/ root:root 0o755
/usr/share/acl2-7.1/books/textbook/chap6/selected-solutions.lisp text/x-lisp root:root 0o644 12.0 KB

APT Browse - Built by Thomas Orozco.